| maps_ | Funcons.Core.Manual, Funcons.Core |
| map_ | Funcons.Core.Manual, Funcons.Core |
| map_delete_ | Funcons.Core.Manual, Funcons.Core |
| map_domain_ | Funcons.Core.Manual, Funcons.Core |
| map_elements_ | Funcons.Core.Manual, Funcons.Core |
| map_empty_ | Funcons.Core.Manual, Funcons.Core |
| map_insert_ | Funcons.Core.Manual, Funcons.Core |
| map_lookup_ | Funcons.Core.Manual, Funcons.Core |
| map_override_ | Funcons.Core.Manual, Funcons.Core |
| map_unite_ | Funcons.Core.Manual, Funcons.Core |
| matchInput | Funcons.EDSL |
| match_ | Funcons.Core |
| match_loosely_ | Funcons.Core |
| max_restarts | Funcons.RunOptions |
| meta_down_ | Funcons.MetaProgramming |
| meta_let_ | Funcons.MetaProgramming |
| meta_up_ | Funcons.MetaProgramming |
| mfuncon_term | Funcons.RunOptions |
| mkFreshInterpreter | Funcons.Tools |
| mkFullyFreshInterpreter | Funcons.Tools |
| mkMain | Funcons.Tools |
| mkMainWithLibrary | Funcons.Tools |
| mkMainWithLibraryEntities | Funcons.Tools |
| mkMainWithLibraryEntitiesTypes | Funcons.Tools |
| mkMainWithLibraryTypes | Funcons.Tools |
| MSOS | Funcons.EDSL |
| multisets_ | Funcons.Core.Manual, Funcons.Core |
| multiset_ | Funcons.Core.Manual, Funcons.Core |
| multiset_delete_ | Funcons.Core.Manual, Funcons.Core |
| multiset_elements_ | Funcons.Core.Manual, Funcons.Core |
| multiset_insert_ | Funcons.Core.Manual, Funcons.Core |
| multiset_occurrences_ | Funcons.Core.Manual, Funcons.Core |
| Mutable | Funcons.EDSL |