Crate leo_typed

A typed syntax tree is represented as a Program and consists of import, circuit, and function definitions. Each defined type consists of typed statements and expressions.

Re-exports

pub use self::annotation::*;

pub use self::circuits::*;

pub use self::common::*;

pub use self::console::*;

pub use self::errors::*;

pub use self::expression::*;

pub use self::functions::*;

pub use self::groups::*;

pub use self::imports::*;

pub use self::input::*;

pub use self::program::*;

pub use self::statements::*;

pub use self::types::*;

Modules

annotation
circuits
common
console
errors
expression
functions
groups
imports
input
program	A typed Leo program consists of import, circuit, and function definitions. Each defined type consists of typed statements and expressions.
statements
types

Macros

input_section_impl

Structs

LeoTypedAst