Skip to main content Module ast Copy item path Source pub use crate::errors::Error ;pub use crate::ids::IndexMap ;pub use crate::ids::IndexVec ;pub use crate::utils::hash_cons ::*;pub use bodies ::*;pub use items ::*;pub use krate ::*;pub use meta ::*;pub use type_level ::*;pub use visitor ::*;bodies The bodies of functions. from_rustc items krate llbc_ast meta Meta information about programs (spans, etc.). type_level ullbc_ast visitor 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. SeqHashMap A hash table where the iteration order of the key-value pairs is independent
of the hash values of the keys. SeqHashSet A hash set where the iteration order of the values is independent of their
hash values. ControlFlow Used to tell an operation whether it should exit early or go on as usual. Idx Represents a wrapped value convertable to and from a usize. Visitor A visitor. Visitor