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

- m -

• make_explicit() : mim::Pi
• make_external() : mim::Def, mim::World
• make_id() : mim::ast::IdPtrn
• make_implicit() : mim::Pi
• make_internal() : mim::Def, mim::World
• make_type() : mim::ast::IdPtrn
• man() : mim::Pass, mim::PassManPhase, mim::ReplManPhase
• mangle() : mim::Annex
• map() : mim::Rewriter, mim::Zonker
• mark() : mim::Def
• mark_irreducible() : mim::EtaRed
• match() : mim::World
• MatchExpr() : mim::ast::MatchExpr
• Max_Plugin_Size : mim::Annex
• meet() : mim::World
• merge() : mim::Sets< D, N >, mim::World
• meta_type() : mim::Reform
• Mode : mim::Checker, mim::plug::mem::pass::Reshape
• mode() : mim::plug::mem::pass::Reshape
• Module() : mim::ast::Module
• module() : mim::ast::Import
• msg() : mim::Error
• msgs() : mim::Error
• mut() : mim::Nest::Node, mim::Var
• mut2node() : mim::Nest
• mut_arr() : mim::World
• mut_con() : mim::World
• mut_fun() : mim::World
• mut_hole() : mim::World
• mut_hole_infer_entity() : mim::World
• mut_hole_type() : mim::World
• mut_hole_univ() : mim::World
• mut_lam() : mim::World
• mut_pack() : mim::World
• mut_pi() : mim::World
• mut_rule() : mim::World
• mut_seq() : mim::World
• mut_sigma() : mim::World
• muts() : mim::Nest, mim::World