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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z

~

- b -

• back() : mim::ast::Path
• bail_expected() : mim::Def
• base() : mim::Annex, mim::ast::AnnexInfo, mim::Axm, mim::Axm::IsA< Id, D >
• BB() : mim::plug::ll::BB
• begin() : mim::Driver::Imports, mim::Driver::Paths, mim::Nest, mim::Nest::Node::Children, mim::Nest::Node::SiblDeps, mim::World::Annexes, mim::World::Externals
• bind() : mim::ast::AliasDecl, mim::ast::AliasPtrn, mim::ast::AppExpr, mim::ast::AxmDecl, mim::ast::DeclExpr, mim::ast::ErrorExpr, mim::ast::ErrorPtrn, mim::ast::Expr, mim::ast::File, mim::ast::GrpPtrn, mim::ast::HoleExpr, mim::ast::IdDecl, mim::ast::IdPtrn, mim::ast::InfixExpr, mim::ast::LamDecl::Dom, mim::ast::LamExpr, mim::ast::LetDecl, mim::ast::LitExpr, mim::ast::MatchExpr::Arm, mim::ast::MatchExpr, mim::ast::ModDecl, mim::ast::MutualDecl, mim::ast::Path, mim::ast::PathExpr, mim::ast::PiExpr, mim::ast::PiExpr::Dom, mim::ast::PrefixExpr, mim::ast::PrimaryExpr, mim::ast::Ptrn, mim::ast::RecDecl, mim::ast::RetExpr, mim::ast::RuleDecl, mim::ast::RuleExpr, mim::ast::Scopes, mim::ast::SeqExpr, mim::ast::SigmaExpr, mim::ast::SingleExpr, mim::ast::TupleExpr, mim::ast::TuplePtrn, mim::ast::TypeExpr, mim::ast::UseDecl, mim::ast::ValDecl, mim::ast::VariantExpr, mim::Rewriter
• bind_body() : mim::ast::LamDecl, mim::ast::NomDecl, mim::ast::RecDecl
• bind_decl() : mim::ast::LamDecl, mim::ast::RecDecl
• bind_decls() : mim::ast::ModDecl
• bind_new() : mim::Rewriter
• bind_old() : mim::Rewriter
• binder() : mim::Var
• bitwidth2size() : mim::Idx
• blame() : mim::Def
• body() : mim::ast::MatchExpr::Arm, mim::ast::RecDecl, mim::ast::RetExpr, mim::ast::SeqExpr, mim::ast::SingleExpr, mim::Lam, mim::plug::ll::BB, mim::Seq
• bootstrap() : mim::ast::AST
• bootstrap_py() : mim::ast::AST
• bot() : mim::World
• Branch() : mim::Branch
• branch() : mim::Lam
• breakpoint() : mim::World
• breakpoints() : mim::World