Here is a list of all variables with links to the classes they belong to:

- a -

• aggressive_lam_spec : mim::Flags
• ascii : mim::Flags

- b -

• Base : mim::Annex
• bootstrap : mim::Flags
• break_on_alpha_unequal : mim::Flags
• break_on_error : mim::Flags
• break_on_warn : mim::Flags
• breakpoints : mim::World::State

- c -

• cf_nodes_ : mim::LoopTree< forward >::Base
• curr_gid : mim::World::State::POD
• curr_sub : mim::World::State::POD
• curry : mim::ast::AnnexInfo.id
• curry_ : mim::Def

- d -

• dbg_ : mim::Def
• decl_ : mim::ast::PiExpr::Dom
• def_ : mim::ast::Decl
• depth_ : mim::LoopTree< forward >::Base
• dirty_ : mim::Phase
• disable_type_checking : mim::Flags
• dump_gid : mim::Flags
• dump_recursive : mim::Flags

- e -

• elems : mim::PooledSet< T >::Data
• entry_ : mim::Emitter< Value, Type, BB, Child >

- f -

• f : mim::ast::R< T >, mim::Elem< R, F >
• flags_ : mim::Def
• fresh : mim::ast::AnnexInfo
• frozen : mim::World::State::POD

- g -

• Global_Plugin : mim::Annex
• globals_ : mim::Emitter< Value, Type, BB, Child >

- i -

• id : mim::ast::AnnexInfo

- l -

• lam2bb_ : mim::Emitter< Value, Type, BB, Child >
• loc : mim::Error::Msg, mim::World::State::POD
• locals_ : mim::Emitter< Value, Type, BB, Child >

- m -

• Max_Plugin_Size : mim::Annex

- n -

• name : mim::World::State::POD
• name_ : mim::Phase
• Node : mim::Ac, mim::App, mim::Arr, mim::Axiom, mim::Extract, mim::Global, mim::Idx, mim::Infer, mim::Insert, mim::Lam, mim::Lit, mim::Nat, mim::Pack, mim::Pi, mim::Pick, mim::Proxy, mim::Sigma, mim::Singleton, mim::TBound< Up >, mim::Test, mim::TExt< Up >, mim::Tuple, mim::Type, mim::UInc, mim::UMax, mim::Univ, mim::Var, mim::Vel
• node : mim::ast::S
• normalizer : mim::ast::AnnexInfo
• Num : mim::Annex

- o -

• offset : mim::FNV1
• old : mim::World::Freezer
• ostream_ : mim::Emitter< Value, Type, BB, Child >

- p -

• padding : mim::BitSet
• parent_ : mim::LoopTree< forward >::Base
• parts : mim::ll::BB
• phis : mim::ll::BB
• pi : mim::ast::AnnexInfo
• pi_ : mim::ast::PiExpr::Dom
• plugin : mim::ast::AnnexInfo.id, mim::ast::AnnexInfo.sym
• plugin_name : mim::Plugin
• pod : mim::World::State
• pred : mim::plug::mem::SSAConstr::Info
• prime : mim::FNV1

- r -

• range : mim::ast::R< T >, mim::Elem< R, F >
• reeval_breakpoints : mim::Flags
• register_backends : mim::Plugin
• register_normalizers : mim::Plugin
• register_passes : mim::Plugin

- s -

• scalarize_threshold : mim::Flags
• scheduler_ : mim::Emitter< Value, Type, BB, Child >
• sigma2sym2idx : mim::ast::Emitter
• size : mim::PooledSet< T >::Data
• str : mim::Error::Msg
• subs : mim::ast::AnnexInfo
• sym : mim::ast::AnnexInfo

- t -

• tab : mim::ast::R< T >, mim::ast::S, mim::Emitter< Value, Type, BB, Child >
• tag : mim::ast::AnnexInfo.id, mim::ast::AnnexInfo.sym, mim::Error::Msg
• trace_gids : mim::Flags
• trip : mim::ast::AnnexInfo.id
• trip_ : mim::Def
• Trip_End : mim::Axiom
• Type : mim::Use
• types_ : mim::Emitter< Value, Type, BB, Child >

- w -

• w : mim::plug::regex::app_range
• world : mim::World::Freezer
• world_ : mim::Phase
• writable : mim::plug::mem::SSAConstr::Info