Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- m -

• MAGIC : regmagic.h
• main() : life.c , try.c , timer.c
• main_display_psi_term() : print.c
• main_loop_ok : login.c , extern.h
• main_pred_write() : print.c
• main_prove() : login.c
• make_bitvector_internal() : sys.c
• make_bytedata() : sys.c
• make_feature_list() : built_in.c
• MAKE_FEATURE_PRIVATE : modules.c
• make_feature_private() : modules.c
• make_life_form() : parser.c
• make_module_token() : modules.c , modules.h
• MAKE_PRIVATE : modules.c
• make_public() : modules.c
• MAKE_PUBLIC : modules.c
• make_sys_type_links() : sys.c
• make_type_link() : types.c
• makeGoal() : bi_sys.c
• makePsiList() : bi_sys.c
• makePsiTerm() : bi_sys.c
• makeUnitList() : lub.c
• MANDATORY : sys.h
• mark_ancestors() : lub.c
• mark_eval() : copy.c , copy.h
• mark_eval_new() : copy.c
• mark_eval_tree() : copy.h
• mark_eval_tree_new() : copy.c
• mark_nonstrict() : copy.c , copy.h
• mark_nonstrict_flag : copy.c
• mark_quote() : copy.c , copy.h
• mark_quote_c() : copy.c
• mark_quote_new() : copy.c
• mark_quote_new2() : copy.c
• mark_quote_tree() : copy.c , copy.h
• mark_quote_tree_c() : copy.c
• mark_quote_tree_new() : copy.c
• mark_tab() : print.c
• match : extern.h
• match_aim() : lefun.h , lefun.c
• match_attr() : lefun.c
• match_attr1() : lefun.c
• match_attr2() : lefun.c
• match_attr3() : lefun.c
• matches() : types.c , types.h
• MAX_BUILT_INS : extern.h
• MAX_LEVEL : extern.h
• MAX_PRECEDENCE : extern.h
• MAX_TRACE_INDENT : extern.h
• MAXNBARGS : template.h
• mem_base : extern.h , memory.c
• mem_limit : memory.c , extern.h
• mem_size : memory.c , extern.h
• memory_check() : memory.c , memory.h
• merge() : login.c
• merge1() : login.c
• merge2() : login.c
• merge3() : login.c
• merge_unify() : login.h , login.c
• META : regexp.c
• minus_symbol : extern.h , built_in.c
• minute_attr : built_in.c , extern.h
• mod_warning() : error.c , error.h
• mode_raw : raw.c
• module_buffer : modules.c
• module_table : extern.h , modules.c , modules.h
• month_attr : extern.h , built_in.c
• more_u_attr : login.c
• more_v_attr : login.c
• multiple() : try.c , timer.c
• my_wait_on_feature_internal() : sys.c

---