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

- t -

• Tab() : mim::Tab
• tab() : mim::Tab
• tag() : mim::ast::CDecl, mim::ast::Import, mim::ast::LamDecl, mim::ast::LitExpr, mim::ast::PrimaryExpr, mim::ast::Tok, mim::Axiom, mim::Match< Id, D >, mim::Proxy
• tag2str() : mim::ast::Tok
• tail() : mim::ll::BB
• TailRecElim() : mim::TailRecElim
• test() : mim::BitSet, mim::Lam, mim::World
• to_expr() : mim::ast::Ptrn
• to_ptrn() : mim::ast::Ptrn
• toggle() : mim::BitSet
• Tok() : mim::ast::Tok
• tok() : mim::ast::LitExpr
• top() : mim::ast::Scopes, mim::unique_stack< Set >, mim::World
• top_nat() : mim::World
• tproj() : mim::Def
• tprojs() : mim::Def
• transfer_external() : mim::Def
• transform() : mim::IndexSet< Indexer, Key >
• trip() : mim::App, mim::ast::AxiomDecl, mim::Axiom
• tuple() : mim::ast::ExtractExpr, mim::ast::InsertExpr, mim::Extract, mim::Insert, mim::World
• TupleExpr() : mim::ast::TupleExpr
• TuplePtrn() : mim::ast::TuplePtrn
• tvar() : mim::Def
• tvars() : mim::Def
• type() : mim::ast::AxiomDecl, mim::ast::IdPtrn, mim::ast::LitExpr, mim::ast::RecDecl, mim::Def, mim::Global, mim::Lam, mim::plug::clos::ClosLit, mim::World
• type_bool() : mim::World
• type_bot() : mim::World
• type_i1() : mim::World
• type_i16() : mim::World
• type_i2() : mim::World
• type_i32() : mim::World
• type_i4() : mim::World
• type_i64() : mim::World
• type_i8() : mim::World
• type_idx() : mim::World
• type_infer_univ() : mim::World
• type_int() : mim::World
• type_nat() : mim::World
• type_top() : mim::World
• TypeExpr() : mim::ast::TypeExpr