Module abstractions

Enums

• MemoryType
• PrecompileCyclesWitness
• StorageAccessRefund

Constants

• MAX_CODE_PAGE_SIZE_IN_WORDS
• MAX_STACK_PAGE_SIZE_IN_WORDS
• MEMORY_CELLS_STACK_OR_CODE_PAGE

Traits

• DecommittmentProcessor
• EventSink
• Memory
• Precompile
  Abstraction over precompile implementation. Precompile is usually a closure-forming FSM, so it must output some cycle-like witness
• PrecompilesProcessor
• Storage