Module connector

Structs

ConnectorCols

VmConnectorAir

VmConnectorChip

VmConnectorPvs

Constants

DEFAULT_SUSPEND_EXIT_CODE

When a program hasn’t terminated. There is no constraints on the exit code. But we will use this value when generating the proof.