Skip to main content

Module krate

charon_lib::ast

Module krate 

Source

Macros§

mk_index_impls 🔒
Delegate Index implementations to subfields.

Structs§

AssocItemNames
TranslatedCrate
The complete data of a Rust crate.

Enums§

DeclarationGroup
A (group of) top-level declaration(s), properly reordered.
GDeclarationGroup
A (group of) top-level declaration(s), properly reordered. “G” stands for “generic”

Traits§

HasIdxMapOf

Type Aliases§

TargetTriple
A target triple, e.g. x86_64-unknown-linux-gnu.