Type Alias StateEffectDefinition

StateEffectDefinition:
    | {
        assignments: StateAssignment[];
        kind: "assignments";
        preconditions?: StatePrecondition[];
    }
    | {
        kind: "native";
        native_handler: string;
        preconditions?: StatePrecondition[];
    }

Declares the state mutation associated with an operator.

Native handlers are references resolved by the trusted runtime. Repository source cannot provide executable handler code through this type.

Type Alias StateEffectDefinition

Settings