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

- t -

• T : mim::unique_queue< Set >, mim::unique_stack< Set >
• Tab() : mim::Tab
• tab : mim::ast::R< T >, mim::ast::S, mim::Emitter< Value, Type, BB, Child >, mim::Tab
• Tag : mim::ast::Tok, mim::Error
• tag : mim::ast::AnnexInfo.id, mim::ast::AnnexInfo.sym, mim::ast::CDecl, mim::ast::Import, mim::ast::LamDecl, mim::ast::LitExpr, mim::ast::PrimaryExpr, mim::ast::Tok, mim::Axiom, mim::Error::Msg, 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
• trace_gids : mim::Flags
• transfer_external() : mim::Def
• transform() : mim::IndexSet< Indexer, Key >
• Traxy : mim::plug::mem::SSAConstr
• trip() : mim::App, mim::ast::AnnexInfo.id, mim::ast::AxiomDecl, mim::Axiom
• trip_ : mim::Def
• Trip_End : 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::Use
• type() : mim::ast::AxiomDecl, mim::ast::IdPtrn, mim::ast::LitExpr, mim::ast::RecDecl, mim::Axiom::Match< T >, mim::Def, mim::Global, mim::Lam, mim::plug::clos::ClosLit, mim::World, std::tuple_element< I, mim::Span< T, N > >
• 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
• types_ : mim::Emitter< Value, Type, BB, Child >