| MalformedBuiltin | Cryptol.ModuleSystem.Renamer |
| mapMaybeTM | Cryptol.TypeCheck.TypeMap |
| mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap |
| mapSeqMap | Cryptol.Eval.Value |
| mapTM | Cryptol.TypeCheck.TypeMap |
| mapWithKeyTM | Cryptol.TypeCheck.TypeMap |
| Markdown | Cryptol.Parser.Unlit, Cryptol.Parser |
| mask | Cryptol.Eval.Value |
| Match | |
| 1 (Type/Class) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 2 (Data Constructor) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| 5 (Type/Class) | Cryptol.TypeCheck.AST |
| match | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchDefault | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| MatchLet | Cryptol.Parser.AST |
| matchMaybe | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchThen | Cryptol.TypeCheck.Solver.Types |
| Max | Cryptol.TypeCheck.Solver.Numeric.AST |
| maxBigIntWidth | Cryptol.Eval.Arch |
| maxV | Cryptol.Prims.Eval |
| mDecls | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mdp | Cryptol.Symbolic.Prims |
| meCoreLint | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meDynEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meEvalEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meFocusedModule | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meLoadedModules | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| membersTM | Cryptol.TypeCheck.TypeMap |
| memoMap | Cryptol.Eval.Value |
| meMonoBinds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meNameSeeds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| merge | Cryptol.ModuleSystem.NamingEnv |
| mergeBit | Cryptol.Symbolic.Value |
| mergeBits | Cryptol.Symbolic.Value |
| mergeSeqMap | Cryptol.Symbolic.Value |
| mergeValue | Cryptol.Symbolic.Value |
| mergeWord | Cryptol.Symbolic.Value |
| meSearchPath | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meSolverConfig | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meSupply | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| mExports | Cryptol.TypeCheck.AST |
| MGU | Cryptol.TypeCheck.Unify |
| mgu | Cryptol.TypeCheck.Unify |
| mguMany | Cryptol.TypeCheck.Unify |
| mImports | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| Min | Cryptol.TypeCheck.Solver.Numeric.AST |
| minimizeContradictionSimpDef | Cryptol.TypeCheck.Solver.CrySAT |
| minV | Cryptol.Prims.Eval |
| MissingField | Cryptol.TypeCheck.Sanity |
| mkBv | Cryptol.Eval.Value |
| mkDeclared | Cryptol.ModuleSystem.Name |
| mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkIfaceDecl | Cryptol.ModuleSystem.Interface |
| mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkParameter | Cryptol.ModuleSystem.Name |
| mkPrim | Cryptol.TypeCheck.Infer |
| mkQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mkScc | Cryptol.TypeCheck.Depends |
| mkSeq | Cryptol.Eval.Value |
| mkUnqual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mName | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mNewtypes | Cryptol.TypeCheck.AST |
| Mod | Cryptol.TypeCheck.Solver.Numeric.AST |
| modExp | Cryptol.Prims.Eval |
| modExports | Cryptol.Parser.Names |
| modify | Cryptol.Transform.Specialize |
| modifyEvalEnv | Cryptol.ModuleSystem.Monad |
| modifyModuleEnv | Cryptol.ModuleSystem.Monad |
| modifySpecCache | Cryptol.Transform.Specialize |
| ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| modRange | Cryptol.Parser.AST |
| modSep | Cryptol.Utils.Ident |
| Module | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.AST |
| ModuleCmd | Cryptol.ModuleSystem |
| moduleCmd | Cryptol.REPL.Command |
| moduleCmdResult | Cryptol.REPL.Command |
| ModuleEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| moduleEnv | Cryptol.Eval |
| ModuleError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleFile | Cryptol.ModuleSystem.Base |
| moduleLinter | Cryptol.ModuleSystem.Base |
| ModuleM | Cryptol.ModuleSystem.Monad |
| ModuleNameMismatch | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNameMismatch | Cryptol.ModuleSystem.Monad |
| ModuleNotFound | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNotFound | Cryptol.ModuleSystem.Monad |
| ModuleParseError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleParseError | Cryptol.ModuleSystem.Monad |
| ModuleRes | Cryptol.ModuleSystem |
| ModuleSystemError | Cryptol.REPL.Monad |
| ModuleT | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| ModuleWarning | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST |
| move | Cryptol.Parser.Position |
| moves | Cryptol.Parser.Position |
| mTySyns | Cryptol.TypeCheck.AST |
| MultipleDocs | Cryptol.Parser.NoPat |
| MultipleFixities | Cryptol.Parser.NoPat |
| MultipleSignatures | Cryptol.Parser.NoPat |
| MultipleSyms | Cryptol.ModuleSystem.Renamer |
| MultipleTypeParamDefs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |