Type alias TraceSample<ProgramState>

TraceSample<ProgramState>: {
    range: Range;
    state: ProgramState;
}

The ProgramState at a particular point in a sampled evaluation.

Type Parameters

  • ProgramState

Type declaration

Generated using TypeDoc