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.