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_implicit() : mim::Pi
• make_internal() : mim::Def, mim::World
• man() : mim::Pass
• mangle() : mim::Annex
• Map : mim::CFG< bool >
• map() : mim::Rewriter
• mark_irreducible() : mim::EtaRed
• Match() : mim::Match< Id, D >
• match() : mim::Test
• Max_Plugin_Size : mim::Annex
• meet() : mim::World
• merge() : mim::Pool< T >, mim::World
• mk_id() : mim::ast::IdPtrn
• mk_type() : mim::ast::IdPtrn
• Mode : mim::plug::mem::Reshape
• Module() : mim::ast::Module
• module() : mim::ast::Import
• msg() : mim::Error
• msgs() : mim::Error
• mut() : mim::CFNode, mim::DepNode, mim::Var
• mut2node() : mim::DepTree
• mut_arr() : mim::World
• mut_bound() : mim::World
• mut_con() : mim::World
• mut_fun() : mim::World
• mut_infer() : mim::World
• mut_infer_entity() : mim::World
• mut_infer_type() : mim::World
• mut_infer_univ() : mim::World
• mut_join() : mim::World
• mut_lam() : mim::World
• mut_meet() : mim::World
• mut_pack() : mim::World
• mut_pi() : mim::World
• mut_sigma() : mim::World
• muts() : mim::World