| aAnd | Cryptol.TypeCheck.TypePat |
| aBit | Cryptol.TypeCheck.TypePat |
| abortIfErrors | Cryptol.TypeCheck.Monad |
| AbstractType | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| abstractTypeTC | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| aCeilDiv | Cryptol.TypeCheck.TypePat |
| aCeilMod | Cryptol.TypeCheck.TypePat |
| aChar | Cryptol.TypeCheck.TypePat |
| Act | Cryptol.ModuleSystem.Base |
| addDecls | Cryptol.TypeCheck.Monad |
| addDefEqn | |
| 1 (Function) | Cryptol.Backend.What4 |
| 2 (Function) | Cryptol.Backend.SBV |
| addDep | Cryptol.ModuleSystem.Renamer.Monad |
| addFunctors | Cryptol.TypeCheck.Monad |
| addGoals | Cryptol.TypeCheck.Monad |
| addHasGoal | Cryptol.TypeCheck.Monad |
| addImplicitNestedImports | Cryptol.ModuleSystem.Renamer.ImplicitImports |
| addLoadedModule | Cryptol.ModuleSystem.Env |
| addLoadedSignature | Cryptol.ModuleSystem.Env |
| AddLoc | Cryptol.Parser.Position |
| addLoc | Cryptol.Parser.Position |
| addModParam | Cryptol.TypeCheck.Monad |
| addNewtype | Cryptol.TypeCheck.Monad |
| addParameterConstraints | Cryptol.TypeCheck.Monad |
| addParamFun | Cryptol.TypeCheck.Monad |
| AddParams | Cryptol.Parser.AST |
| addParamType | Cryptol.TypeCheck.Monad |
| addPrelude | Cryptol.ModuleSystem.Base |
| addPrimType | Cryptol.TypeCheck.Monad |
| addSafety | Cryptol.Backend.What4 |
| addSignatures | Cryptol.TypeCheck.Monad |
| addSubmodules | Cryptol.TypeCheck.Monad |
| addTNames | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| addTVarsDescsAfter | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| addTVarsDescsBefore | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| addTySyn | Cryptol.TypeCheck.Monad |
| addV | Cryptol.Eval.Generic |
| adjustField | Cryptol.Utils.RecordMap |
| aesFinalRound | Cryptol.AES |
| aesInvFinalRound | Cryptol.AES |
| aesInvRound | Cryptol.AES |
| aesRound | Cryptol.AES |
| aFin | Cryptol.TypeCheck.TypePat |
| aFreeTVar | Cryptol.TypeCheck.TypePat |
| AFunctor | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports |
| aInf | Cryptol.TypeCheck.TypePat |
| aLenFromThenTo | Cryptol.TypeCheck.TypePat |
| align | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| aLiteral | Cryptol.TypeCheck.TypePat |
| aLiteralLessThan | Cryptol.TypeCheck.TypePat |
| allDeclGroups | |
| 1 (Function) | Cryptol.ModuleSystem.Env |
| 2 (Function) | Cryptol.Transform.Specialize |
| allExported | Cryptol.ModuleSystem.Exports |
| allNamespaces | Cryptol.Utils.Ident |
| allowWild | Cryptol.TypeCheck.Monad |
| AllowWildCards | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| allParamNames | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| AllSat | Cryptol.Symbolic |
| AllSatResult | Cryptol.Symbolic |
| ALoadedFunctor | Cryptol.ModuleSystem.Env |
| ALoadedInterface | Cryptol.ModuleSystem.Env |
| ALoadedModule | Cryptol.ModuleSystem.Env |
| aLogic | Cryptol.TypeCheck.TypePat |
| alterTM | Cryptol.TypeCheck.TypeMap |
| aMax | Cryptol.TypeCheck.TypePat |
| Ambig | Cryptol.ModuleSystem.Names |
| Ambiguous | Cryptol.REPL.Command |
| AmbiguousSize | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| aMin | Cryptol.TypeCheck.TypePat |
| AModule | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports |
| aMul | Cryptol.TypeCheck.TypePat |
| anAbstractType | Cryptol.TypeCheck.TypePat |
| anAdd | Cryptol.TypeCheck.TypePat |
| aNat | Cryptol.TypeCheck.TypePat |
| aNat' | Cryptol.TypeCheck.TypePat |
| andV | Cryptol.Eval.Generic |
| anError | Cryptol.TypeCheck.TypePat |
| anyJust | Cryptol.Utils.Misc |
| anyJust2 | Cryptol.Utils.Misc |
| anyOne | Cryptol.ModuleSystem.Names |
| apPathRoot | Cryptol.Utils.Ident |
| applySubst | Cryptol.TypeCheck.Monad |
| applySubstGoals | Cryptol.TypeCheck.Monad |
| applySubstPreds | Cryptol.TypeCheck.Monad |
| applySubstToVar | Cryptol.TypeCheck.Subst |
| apSubst | Cryptol.TypeCheck.Subst |
| apSubstMaybe | Cryptol.TypeCheck.Subst |
| apSubstTypeMapKeys | Cryptol.TypeCheck.Subst |
| aRec | Cryptol.TypeCheck.TypePat |
| AreSame | Cryptol.TypeCheck.Sanity |
| ArgDescr | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| argDescrFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| argDescrNumber | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| arrayName | Cryptol.Utils.Ident |
| arrayPrim | Cryptol.Utils.Ident |
| ArrL | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| ArrR | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| asBatch | Cryptol.REPL.Monad |
| asBitsMap | Cryptol.Backend.WordValue |
| asciiMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval.Value |
| asEApps | Cryptol.Parser.AST |
| aSeq | Cryptol.TypeCheck.TypePat |
| ashr | Cryptol.Backend.SBV |
| ASignature | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports |
| asIndex | Cryptol.Eval.Value |
| asLocal | Cryptol.ModuleSystem.Name |
| asOrigName | Cryptol.ModuleSystem.Name |
| asPrim | Cryptol.ModuleSystem.Name |
| assertBVDivisor | Cryptol.Backend.What4 |
| assertIndexInBounds | Cryptol.Eval.Generic |
| assertIntDivisor | Cryptol.Backend.What4 |
| assertSideCondition | Cryptol.Backend, Cryptol.Eval.Value |
| assertWordValueInBounds | Cryptol.Backend.WordValue |
| Assoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| assume | Cryptol.TypeCheck.Solver.SMT |
| asWordList | Cryptol.Backend.WordValue |
| asWordVal | Cryptol.Backend.WordValue |
| At | Cryptol.Parser.Token |
| at | Cryptol.Parser.Position |
| atCtrs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atFixitiy | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atKind | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| aTrue | Cryptol.TypeCheck.TypePat |
| aTuple | Cryptol.TypeCheck.TypePat |
| aTVar | Cryptol.TypeCheck.TypePat |
| AutoExponent | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| aWidth | Cryptol.TypeCheck.TypePat |
| aWord | Cryptol.TypeCheck.TypePat |