Module exec_api 

Generic execution-result API aligned with the Lean VM execution model.

Structs

ExecResult

Structured result of one execution step.

StepPack

Generic execution pack carrying updated coroutine state plus step result.

Enums

ExecStatus

Execution status after one step/round.

StepEvent

One execution event emitted by a step.