Crate snarkvm_synthesizer_program

Source

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