[−][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::*; |
Modules
assertions | |
errors | |
objects | |
type_inference |