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