List of all items

Structs

• FindCallee
• FindCaller
• FindFn
• filesystem::FileLoader
• filesystem::RealFileSystem
• filesystem::SymbolicFileSystem
• labelling::Label
• labelling::ScopedContext
• local_config::Files
• local_config::Programs
• local_config::Settings
• location::Loc
• location::RawLoc
• typ::CTypeContextCollector
• typ::RustStruct
• typ::RustTypeSignature
• typ::TVar
• wrappers::IndexWrapper

Enums

• error::Error
• typ::CFloatSize
• typ::CIntegralSize
• typ::Error
• typ::RustMutability
• typ::RustType
• typ::RustTypeConstraint

Traits

• filesystem::FileSystem
• labelling::ASTKey
• location::FileSystem

Macros

• CHRusty_build
• CHRusty_parse
• CHRusty_todo
• pprint_ast

Functions

• annotation::annotate_ast
• build_project
• check_project
• compile_file
• find_caller
• format_source
• formatter::format_source
• parse_and_compare_ast
• parser::label
• parser::rust_type
• parser::ws
• print_file_diff
• remove_all_files
• resolve_aeneas_path
• resolve_charon_path
• strip_ansi_codes
• typ::normalize_type_context

Type Aliases

• annotation::Annotated
• annotation::Annotations
• typ::ProgramTypeContext
• typ::TypeMap

Constants

• annotation::LOOKUP_FILE