Re-exports§
pub use crate::errors::Error;
pub use builtins::*;
pub use expressions::*;
pub use gast::*;
pub use krate::*;
pub use meta::*;
pub use names::*;
pub use types::*;
pub use values::*;
Modules§
- This file contains information about the builtin functions/types/traits definitions
- Implements expressions: paths, operands, rvalues, lvalues
- This file groups everything which is linked to implementations about crate::expressions
- Definitions common to crate::ullbc_ast and crate::llbc_ast
- Implementations for crate::gast
- LLBC
- Implementations for crate::llbc_ast
- Meta-information about programs (spans, etc.).
- This file groups everything which is linked to implementations about crate::meta
- Defines some utilities for the variables
- Defines some utilities for crate::names
- This file groups everything which is linked to implementations about crate::types
- “Unstructured LLBC” ast (ULLBC). This is LLBC before the control-flow reconstruction. In effect, this is a cleaned up version of MIR.
- Implementations for crate::ullbc_ast
- Contains definitions for variables and constant values.
- Implementations for crate::values