Crate snarkvm_synthesizer_program

Re-exports

• pub use finalize::*;
• pub use logic::*;
• pub use traits::*;

Modules

• finalize
• logic
• traits

Macros

• evaluate
  Creates a match statement that evaluates the operation.
• execute
  Creates a match statement that executes the operation.
• instruction
  Creates a match statement that applies the given operation for each instruction.
• operation
  Creates a new struct that implements the Operation trait.
• output_type
  Creates a match statement that returns the output type given the input types.

Structs

• ClosureCore
• FunctionCore
• Import
  An import statement defines an imported program, and is of the form import {name}.{network};. If no network-level domain is specified, the default network is used.
• Mapping
• ProgramCore

Type Aliases

• Closure
• Finalize
• Function
• Program