| L | Cryptol.TypeCheck.TypeMap |
| lam | Cryptol.Eval.Value |
| Lambda | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| LaTeX | Cryptol.Parser.Unlit, Cryptol.Parser |
| Layout | |
| 1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
| layout | Cryptol.Parser.Layout |
| lazyIte | Cryptol.Backend.What4 |
| lazyTParams | Cryptol.TypeCheck.Monad |
| LBindDef | Cryptol.Parser.AST |
| leaves | Cryptol.REPL.Trie |
| LeftAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| LenOfCompGen | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| LenOfSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| LEQ | Cryptol.Parser.Token |
| lessThanEqV | Cryptol.Eval.Generic |
| lessThanV | Cryptol.Eval.Generic |
| Let | Cryptol.TypeCheck.AST |
| LetInput | Cryptol.Parser.AST |
| lexCombine | Cryptol.Eval.Generic |
| lexer | Cryptol.Parser.Lexer |
| LexicalError | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| lg2 | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| lg2V | Cryptol.Eval.Generic |
| LIdent | Cryptol.Parser.AST |
| liftBinIntMod | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| liftModuleCmd | Cryptol.REPL.Command |
| liftPP | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftPP1 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftPP2 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftSpecT | Cryptol.Transform.Specialize |
| liftSupply | Cryptol.ModuleSystem.Name |
| line | Cryptol.Parser.Position |
| LineComment | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| lintCheck | Cryptol.ModuleSystem.Base |
| lintModule | Cryptol.ModuleSystem.Base |
| List | Cryptol.TypeCheck.TypeMap |
| list | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| listParamSubst | Cryptol.TypeCheck.Subst |
| ListSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| listSubst | Cryptol.TypeCheck.Subst |
| lit | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Literal | Cryptol.Parser.AST |
| literalGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| literalLessThanGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| literalSWord | Cryptol.Backend.SBV |
| LitGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| litGoalToGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| litLessThanGoalToGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| LkpTyVar | Cryptol.TypeCheck.Monad |
| lmFilePath | Cryptol.ModuleSystem.Env |
| lmFingerprint | Cryptol.ModuleSystem.Env |
| lmInterface | Cryptol.ModuleSystem.Env |
| lmLoadedModules | Cryptol.ModuleSystem.Env |
| lmLoadedParamModules | Cryptol.ModuleSystem.Env |
| lmModule | Cryptol.ModuleSystem.Env |
| lmModuleId | Cryptol.ModuleSystem.Env |
| lmName | Cryptol.ModuleSystem.Env |
| lmNamingEnv | Cryptol.ModuleSystem.Env |
| lName | Cryptol.REPL.Monad |
| loadCmd | Cryptol.REPL.Command |
| loadDeps | Cryptol.ModuleSystem.Base |
| LoadedModule | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| 3 (Type/Class) | Cryptol.REPL.Monad |
| 4 (Data Constructor) | Cryptol.REPL.Monad |
| loadedModule | Cryptol.ModuleSystem.Monad |
| LoadedModules | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| loadedModules | Cryptol.ModuleSystem.Env |
| loadedNewtypes | Cryptol.ModuleSystem.Env |
| loadedNonParamModules | Cryptol.ModuleSystem.Env |
| loading | Cryptol.ModuleSystem.Monad |
| loadingImport | Cryptol.ModuleSystem.Monad |
| loadingModInstance | Cryptol.ModuleSystem.Monad |
| loadingModule | Cryptol.ModuleSystem.Monad |
| loadModuleByName | Cryptol.ModuleSystem |
| loadModuleByPath | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| loadModuleFrom | Cryptol.ModuleSystem.Base |
| loadPrelude | Cryptol.REPL.Command |
| LocalScope | Cryptol.TypeCheck.Monad |
| Located | |
| 1 (Type/Class) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| located | Cryptol.ModuleSystem.Renamer.Monad |
| Logger | Cryptol.Utils.Logger |
| logicBinary | Cryptol.Eval.Generic |
| logicShift | Cryptol.Eval.Generic |
| logicUnary | Cryptol.Eval.Generic |
| LogNegative | Cryptol.Backend.Monad, Cryptol.Eval |
| logPrint | Cryptol.Utils.Logger |
| logPutStr | Cryptol.Utils.Logger |
| logPutStrLn | Cryptol.Utils.Logger |
| lookupAbstractType | Cryptol.TypeCheck.Monad |
| lookupField | Cryptol.Utils.RecordMap |
| lookupImport | Cryptol.ModuleSystem.Renamer.Monad |
| lookupModule | Cryptol.ModuleSystem.Env |
| lookupNewtype | Cryptol.TypeCheck.Monad |
| lookupNS | Cryptol.ModuleSystem.NamingEnv |
| lookupParamFun | Cryptol.TypeCheck.Monad |
| lookupParamType | Cryptol.TypeCheck.Monad |
| lookupPrimDecl | Cryptol.ModuleSystem.Name |
| lookupPrimType | Cryptol.ModuleSystem.Name |
| lookupRecord | Cryptol.Eval.Value |
| lookupSeqMap | Cryptol.Backend.SeqMap |
| lookupTM | Cryptol.TypeCheck.TypeMap |
| lookupTParam | Cryptol.TypeCheck.Monad |
| lookupTrie | Cryptol.REPL.Trie |
| lookupTrieExact | Cryptol.REPL.Trie |
| lookupTSyn | Cryptol.TypeCheck.Monad |
| lookupType | Cryptol.Eval.Env |
| lookupTypeNames | Cryptol.ModuleSystem.NamingEnv |
| lookupTypeVar | Cryptol.Eval.Type |
| lookupValNames | Cryptol.ModuleSystem.NamingEnv |
| lookupVar | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.Eval.Env |
| LoopError | Cryptol.Backend.Monad, Cryptol.Eval |
| lPath | Cryptol.REPL.Monad |
| LPName | Cryptol.Parser.AST |
| lshr | Cryptol.Backend.SBV |
| LString | Cryptol.Parser.AST |
| Lt | Cryptol.Parser.Token, Cryptol.Parser.Lexer |