Module sp1_recursion_compiler::ir

source ·

Structs§

  • A builder for the DSL.
  • A variable that represents an emulated extension field element.
  • A variable that represents an emulated field element.
  • A builder for the DSL that handles if statements.
  • A point to a location in memory.
  • A builder for the DSL that handles for loops.
  • TracedVec is a Vec wrapper that records a trace whenever an element is pushed. When extending from another TracedVec, the traces are copied over.
  • A variable that represents a native field element.

Enums§

Traits§

Functions§

Type Aliases§