[−][src]Crate leo_type_inference

A type inference check for a Leo program.

This module contains the TypeInference type, which stores information needed to run a type inference check over a program.

A new TypeInference type can be created from a [LeoAst] type and a [Symbol Table].

Re-exports

pub use self::assertions::*;

pub use self::type_inference::*;

pub use self::errors::*;

pub use self::objects::*;