List of all items

Structs

• program::DeclaredEffect
• program::Function
• program::Program
• program::Refinement
• vm::DenyAllEffects
• vm::NullTracer
• vm::Vm

Enums

• op::Const
• op::Op
• program::EffectArg
• value::MapKey
• value::Value
• vm::VmError

Traits

• parser_runtime::ClosureCaller
• vm::EffectHandler
• vm::Tracer

Functions

• compiler::compile_program
• parser_runtime::run_parser
• program::compute_body_hash

Type Aliases

• program::BodyHash

Constants

• program::ZERO_BODY_HASH
• vm::MAX_CALL_DEPTH