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

- i -

• iapp() : mim::World
• id() : mim::ast::GrpPtrn, mim::Match< Id, D >
• IdExpr() : mim::ast::IdExpr
• idom() : mim::DomTreeBase< bool >
• IdPtrn() : mim::ast::IdPtrn
• iinfer() : mim::World
• immutabilize() : mim::Arr, mim::Def, mim::Pack, mim::Pi, mim::Sigma
• implicit_imports() : mim::ast::Module
• Import() : mim::ast::Import
• import() : mim::ast::Parser
• imports() : mim::ast::Module, mim::Driver
• indent() : mim::Tab
• index() : mim::ast::ExtractExpr, mim::ast::InsertExpr, mim::CFG< bool >, mim::DomTreeBase< bool >, mim::Extract, mim::Insert, mim::LoopTree< forward >::Leaf, mim::Pass, mim::Use
• indexer() : mim::IndexMap< Indexer, Key, Value >, mim::IndexSet< Indexer, Key >
• IndexMap() : mim::IndexMap< Indexer, Key, Value >
• IndexSet() : mim::IndexSet< Indexer, Key >
• infer() : mim::Pi, mim::Sigma
• infer_curry_and_trip() : mim::Axiom
• InferExpr() : mim::ast::InferExpr
• inhabitant() : mim::Singleton
• inherit() : mim::World
• init() : mim::Global
• insert() : mim::IndexSet< Indexer, Key >, mim::Pool< T >, mim::World
• InsertExpr() : mim::ast::InsertExpr
• inspect() : mim::Pass, mim::RWPass< P, M >
• InternalCleanup() : mim::plug::compile::InternalCleanup
• is_accepting() : automaton::DFANode, automaton::NFANode
• is_anon() : mim::Dbg
• is_basicblock() : mim::plug::clos::ClosLit
• is_brckt() : mim::ast::TuplePtrn
• is_closed() : mim::Def
• is_dirty() : mim::Phase
• is_erroring() : automaton::DFANode, automaton::NFANode
• is_explicit() : mim::ast::AppExpr
• is_external() : mim::ast::LamDecl, mim::Def
• is_free() : mim::Scope
• is_frozen() : mim::World
• is_implicit() : mim::ast::PiExpr::Dom, mim::Pi
• is_loaded() : mim::Driver
• is_mutable() : mim::Global
• is_open() : mim::Def
• is_paren() : mim::ast::TuplePtrn
• is_pi() : mim::ast::AnnexInfo
• is_returning() : mim::plug::clos::ClosLit
• is_root() : mim::LoopTree< forward >::Head
• is_set() : mim::Def
• is_term() : mim::Def
• is_uniform() : mim::Check
• is_valid() : mim::ll::Emitter
• is_where() : mim::ast::DeclExpr
• isa() : mim::ast::Tok, mim::Lit
• isa_basicblock() : mim::Lam, mim::Pi
• isa_cn() : mim::Lam, mim::Pi
• isa_imm() : mim::Def
• isa_lit_arity() : mim::Def
• isa_mut() : mim::Def
• isa_mut_basicblock() : mim::Lam
• isa_mut_cn() : mim::Lam
• isa_mut_returning() : mim::Lam
• isa_proxy() : mim::Pass
• isa_returning() : mim::Lam, mim::Pi