| MalformedBuiltin | Cryptol.ModuleSystem.Renamer |
| MalformedLiteral | Cryptol.Parser.Lexer |
| MalformedSelector | Cryptol.Parser.Lexer |
| mapMaybeTM | Cryptol.TypeCheck.TypeMap |
| mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap |
| mapSeqMap | Cryptol.Eval.Value |
| mapTM | Cryptol.TypeCheck.TypeMap |
| mapWithFieldName | Cryptol.Utils.RecordMap |
| mapWithKeyTM | Cryptol.TypeCheck.TypeMap |
| Markdown | Cryptol.Parser.Unlit, Cryptol.Parser |
| mask | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 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 |
| maxBigIntWidth | Cryptol.Backend.Arch |
| MaybeCheckedType | Cryptol.TypeCheck.Instantiate |
| maybeNameDoc | Cryptol.TypeCheck.Parseable |
| maybeReady | Cryptol.Backend.Monad |
| mctxDecls | Cryptol.ModuleSystem.Env |
| mctxNameDisp | Cryptol.ModuleSystem.Env |
| mctxNames | Cryptol.ModuleSystem.Env |
| mctxParams | Cryptol.ModuleSystem.Env |
| mctxTypeProvenace | Cryptol.ModuleSystem.Env |
| mctxValueProvenance | Cryptol.ModuleSystem.Env |
| mDecls | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| 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 |
| mergeEval | Cryptol.Backend, Cryptol.Eval.Value |
| mergeSeqMap | Cryptol.Eval.Generic |
| mergeValue | Cryptol.Eval.Generic |
| mergeValue' | Cryptol.Eval.Generic |
| mergeWord | Cryptol.Eval.Generic |
| mergeWord' | Cryptol.Eval.Generic |
| 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 |
| mInstance | Cryptol.Parser.AST |
| MissingField | Cryptol.TypeCheck.Sanity |
| MissingModTParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| MissingModVParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| mkBv | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| mkDeclared | Cryptol.ModuleSystem.Name |
| mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkIfaceDecl | Cryptol.ModuleSystem.Interface |
| mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkLit | Cryptol.Eval.Generic |
| mkParameter | Cryptol.ModuleSystem.Name |
| 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 |
| ModContext | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| modelPred | Cryptol.Symbolic |
| modExports | Cryptol.ModuleSystem.Exports |
| modify | Cryptol.Transform.Specialize |
| modifyEvalEnv | Cryptol.ModuleSystem.Monad |
| modifyModuleEnv | Cryptol.ModuleSystem.Monad |
| modifySpecCache | Cryptol.Transform.Specialize |
| ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| ModNameArg | Cryptol.REPL.Command |
| modNameChunks | Cryptol.Utils.Ident |
| modNameToText | Cryptol.Utils.Ident |
| modParamIdent | Cryptol.Utils.Ident |
| modParamsNamingEnv | Cryptol.ModuleSystem.NamingEnv |
| modRange | Cryptol.Parser.AST |
| ModTParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| modTyParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 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 |
| moduleDeps | Cryptol.IR.FreeVars |
| 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 |
| ModulePath | Cryptol.ModuleSystem.Env |
| modulePathLabel | Cryptol.ModuleSystem.Env |
| 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 |
| modV | Cryptol.Eval.Generic |
| ModVParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST |
| move | Cryptol.Parser.Position |
| moves | Cryptol.Parser.Position |
| mParamConstraints | Cryptol.TypeCheck.AST |
| mParamFuns | Cryptol.TypeCheck.AST |
| mParamTypes | Cryptol.TypeCheck.AST |
| mPrimTypes | Cryptol.TypeCheck.AST |
| mtpDoc | Cryptol.TypeCheck.AST |
| mtpKind | Cryptol.TypeCheck.AST |
| mtpName | Cryptol.TypeCheck.AST |
| mtpNumber | Cryptol.TypeCheck.AST |
| mtpParam | Cryptol.TypeCheck.AST |
| mTySyns | Cryptol.TypeCheck.AST |
| MultipleDocs | Cryptol.Parser.NoPat |
| MultipleFixities | Cryptol.Parser.NoPat |
| MultipleSignatures | Cryptol.Parser.NoPat |
| MultipleSyms | Cryptol.ModuleSystem.Renamer |
| mulV | Cryptol.Eval.Generic |
| mvpDoc | Cryptol.TypeCheck.AST |
| mvpFixity | Cryptol.TypeCheck.AST |
| mvpName | Cryptol.TypeCheck.AST |
| mvpType | Cryptol.TypeCheck.AST |