This file contains information about the builtin functions/types/traits definitions
Implements expressions: paths, operands, rvalues, lvalues
LLBC
Meta-information about programs (spans, etc.).
This file groups everything which is linked to implementations about
crate::metaDefines some utilities for the variables
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.
Contains definitions for variables and constant values.
Defines two overrideable visitor traits that can be used to conveniently traverse the whole
contents of an item. This is useful when e.g. dealing with types, which show up pretty much
everywhere in the ast.