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

- b -

• back() : mim::unique_queue< Set >
• backend() : mim::Driver
• base() : mim::Annex, mim::Axm, mim::Axm::IsA< Id, D >
• BB() : mim::ll::BB
• bb_only() : mim::plug::mem::pass::CopyProp
• begin() : mim::IndexMap< Indexer, Key, Value >, mim::Sets< D, N >::Set
• BetaRed() : mim::BetaRed
• BetaRedPhase() : mim::BetaRedPhase
• bind() : mim::ast::AliasPtrn, mim::ast::AppExpr, mim::ast::ArrowExpr, mim::ast::AxmDecl::Alias, mim::ast::AxmDecl, mim::ast::CDecl, mim::ast::DeclExpr, mim::ast::ErrorExpr, mim::ast::ErrorPtrn, mim::ast::Expr, mim::ast::ExtractExpr, mim::ast::GrpPtrn, mim::ast::HoleExpr, mim::ast::IdExpr, mim::ast::IdPtrn, mim::ast::Import, mim::ast::InjExpr, mim::ast::InsertExpr, mim::ast::LamDecl::Dom, mim::ast::LamExpr, mim::ast::LetDecl, mim::ast::LitExpr, mim::ast::MatchExpr::Arm, mim::ast::MatchExpr, mim::ast::Module, mim::ast::PiExpr, mim::ast::PiExpr::Dom, mim::ast::PrimaryExpr, mim::ast::Ptrn, mim::ast::RecDecl, mim::ast::RetExpr, mim::ast::RuleDecl, mim::ast::Scopes, mim::ast::SeqExpr, mim::ast::SigmaExpr, mim::ast::TupleExpr, mim::ast::TuplePtrn, mim::ast::TypeExpr, mim::ast::UnionExpr, mim::ast::UniqExpr, mim::ast::ValDecl
• bind_body() : mim::ast::LamDecl, mim::ast::RecDecl
• bind_decl() : mim::ast::LamDecl, mim::ast::RecDecl
• BitSet() : mim::BitSet
• bitwidth2size() : mim::Idx
• body() : mim::ast::MatchExpr::Arm, mim::ast::RecDecl, mim::ast::RetExpr, mim::ast::SeqExpr, mim::Lam, mim::ll::BB, mim::Seq
• bootstrap() : mim::ast::AST
• bot() : mim::World
• Bound() : mim::Bound
• bound() : mim::World
• Branch() : mim::Branch
• branch() : mim::Lam
• BranchClosElim() : mim::plug::clos::BranchClosElim
• BranchNormalizePhase() : mim::BranchNormalizePhase
• breakpoint() : mim::World
• breakpoints() : mim::World