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

- i -

• id() : automaton::DFANode, automaton::NFANode, mim::ast::GrpPtrn, mim::Axm::IsA< Id, D >
• IdExpr() : mim::ast::IdExpr
• IdPtrn() : mim::ast::IdPtrn
• immutabilize() : mim::Arr, mim::Def, mim::Pack, mim::Pi, mim::Rule, mim::Sigma
• implicit_app() : mim::World
• implicit_imports() : mim::ast::Module
• Import() : mim::ast::Import
• import() : mim::ast::Parser
• import_path2sym() : mim::Driver
• import_paths() : mim::Driver
• import_syms() : mim::Driver
• imports() : mim::ast::Module
• indent() : mim::Tab
• index() : mim::ast::ExtractExpr, mim::ast::InsertExpr, mim::Extract, mim::Insert, 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::Reform, mim::Sigma, mim::Tuple
• infer_curry_and_trip() : mim::Axm
• inhabitant() : mim::ast::UniqExpr
• inherit() : mim::World
• init() : mim::EtaExp, mim::Global, mim::Pass, mim::PassMan, mim::plug::clos::ClosConvPrep, mim::plug::mem::pass::CopyProp, mim::plug::mem::pass::SSA, mim::Scalarize, mim::TailRecElim
• inj() : mim::World
• InjExpr() : mim::ast::InjExpr
• insert() : mim::IndexSet< Indexer, Key >, mim::Sets< D, N >, mim::World
• InsertExpr() : mim::ast::InsertExpr
• inspect() : mim::Pass, mim::PassMan, mim::RWPass< P, M >
• is_accepting() : automaton::DFANode, automaton::NFANode
• is_anon() : mim::Dbg
• is_arr() : mim::ast::SeqExpr
• is_basicblock() : mim::plug::clos::ClosLit
• is_bootstrapping() : mim::RWPhase
• is_brckt() : mim::ast::TuplePtrn
• is_closed() : mim::Def
• is_descendant_of() : mim::lct::Node< P, K >
• is_directly_recursive() : mim::Nest::Node
• is_elim() : mim::Def
• is_erroring() : automaton::DFANode, automaton::NFANode
• is_explicit() : mim::ast::AppExpr
• is_external() : mim::ast::LamDecl, mim::Def
• is_form() : mim::Def
• is_frozen() : mim::World
• is_immutabilizable() : mim::Def
• is_implicit() : mim::ast::AliasPtrn, mim::ast::LamDecl::Dom, mim::ast::PiExpr::Dom, mim::ast::Ptrn, mim::ast::TuplePtrn, mim::Pi
• is_in_rule() : mim::Rule
• is_intro() : mim::Def
• is_loaded() : mim::Driver
• is_meta() : mim::Def
• is_mutable() : mim::Def, mim::Global
• is_mutually_recursive() : mim::Nest::Node
• is_normalizer() : mim::ast::RuleDecl
• is_open() : mim::Def
• is_paren() : mim::ast::TuplePtrn
• is_rassoc() : mim::ast::Expr
• is_recursive() : mim::Nest, mim::Nest::Node
• is_returning() : mim::plug::clos::ClosLit
• is_root() : mim::Nest::Node
• is_set() : mim::Def
• is_term() : mim::Def
• is_uniform() : mim::Checker
• is_valid() : mim::ll::Emitter
• is_where() : mim::ast::DeclExpr
• IsA() : mim::Axm::IsA< Id, D >
• isa() : mim::ast::Tok, mim::Axm, mim::Idx, mim::Lit
• isa_basicblock() : mim::Lam, mim::Pi
• isa_cn() : mim::Lam, mim::Pi
• isa_imm() : mim::Def
• isa_implicit() : mim::Pi
• isa_lit() : mim::Idx
• 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
• isa_set() : mim::Hole
• isa_unset() : mim::Hole
• iterator() : mim::Sets< D, N >::Set::iterator
• its_a_match() : mim::Rule