Module miden_core::code_blocks

Structs

• Call
  Block for a function call.
• Dyn
  Block for dynamic code where the target is specified by the stack.
• Join
  Block for sequential execution of two sub-blocks.
• Loop
  Block for a conditional loop.
• OpBatch
  A batch of operations in a Span block.
• Proxy
  Block for a unknown function call.
• Span
  Block for a linear sequence of operations (i.e., no branching or loops).
• Split
  Block for conditional execution.

Enums

• CodeBlock
  TODO: add comments

Constants

• OP_BATCH_SIZE
  Maximum number of groups per batch.
• OP_GROUP_SIZE
  Maximum number of operations per group.

Functions

• get_span_op_group_count
  Returns the total number of operation groups in a span defined by the provides list of operation batches.