Here is a list of all functions with links to the classes they belong to:
- d -
- data() : mim::FPPass< P, M >
 
- Dbg() : mim::Dbg
 
- dbg() : mim::ast::AliasPtrn, mim::ast::AxmDecl::Alias, mim::ast::AxmDecl, mim::ast::CDecl, mim::ast::GrpPtrn, mim::ast::IdExpr, mim::ast::IdPtrn, mim::ast::Import, mim::ast::RecDecl, mim::ast::Tok, mim::Def
 
- dealloc() : mim::FPPass< P, M >, mim::Pass
 
- debug_dump() : mim::World
 
- debug_prefix() : mim::Def
 
- debug_suffix() : mim::Def
 
- Decl() : mim::ast::Decl
 
- decl() : mim::ast::ExtractExpr, mim::ast::IdExpr
 
- declare() : mim::ll::Emitter
 
- DeclExpr() : mim::ast::DeclExpr
 
- decls() : mim::ast::DeclExpr, mim::ast::Module
 
- decurry() : mim::App
 
- Def() : mim::Def, mim::Prod, mim::Seq
 
- def() : mim::ast::Decl, mim::Use
 
- delim_l() : mim::ast::TuplePtrn
 
- delim_l2r() : mim::ast::Tok
 
- delim_r() : mim::ast::TuplePtrn
 
- demangle() : mim::Annex
 
- dep() : mim::Def
 
- depends() : mim::Nest::Node
 
- deps() : mim::Def
 
- derive() : mim::plug::autodiff::Eval
 
- derive_() : mim::plug::autodiff::Eval
 
- DFA() : automaton::DFA
 
- DFANode() : automaton::DFANode
 
- Dom() : mim::ast::LamDecl::Dom, mim::ast::PiExpr::Dom
 
- dom() : mim::ast::CDecl, mim::ast::LamDecl, mim::Lam, mim::Pi
 
- doms() : mim::ast::LamDecl
 
- dot() : mim::Def, mim::Nest, mim::Sets< D, N >, mim::World
 
- Driver() : mim::Driver
 
- driver() : mim::ast::AST, mim::ast::Emitter, mim::ast::Parser, mim::ast::Scopes, mim::Stage, mim::World
 
- DS2CPS() : mim::plug::direct::DS2CPS
 
- dummy() : mim::ast::Scopes
 
- DummyDecl() : mim::ast::DummyDecl
 
- dump() : mim::ast::Node, mim::Def, mim::Sets< D, N >::Set, mim::World