Crate snarkvm_synthesizer_program 

Re-exports

pub use finalize::*;

pub use logic::*;

Modules

finalize

logic

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

ConstructorCore

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

Traits

FinalizeRegistersState

FinalizeStoreTrait

RegistersCircuit

This trait is intended to be implemented only by snarkvm_synthesizer_process::Registers.

RegistersSigner

RegistersTrait

StackTrait

This trait is intended to be implemented only by snarkvm_synthesizer_process::Stack.

Type Aliases

Closure

Constructor

Finalize

Function

Program