Type alias ScriptReductionTracePushNode<ProgramState>

ScriptReductionTracePushNode<ProgramState>: ScriptReductionTraceNode & {
    push: ScriptReductionTraceScriptNode<ProgramState>;
}

Type Parameters

  • ProgramState

Type declaration

Settings

Member Visibility

Theme

Generated using TypeDoc