aAnd | Cryptol.TypeCheck.TypePat |
aBit | Cryptol.TypeCheck.TypePat |
abortIfErrors | Cryptol.TypeCheck.Monad |
Abstract | 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 |
addNominal | Cryptol.TypeCheck.Monad |
addParameterConstraints | Cryptol.TypeCheck.Monad |
addParamFun | Cryptol.TypeCheck.Monad |
AddParams | Cryptol.Parser.AST |
addParamType | Cryptol.TypeCheck.Monad |
addPrelude | Cryptol.ModuleSystem.Base |
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 |
AlwaysEvalForeign | Cryptol.ModuleSystem.Env |
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 |
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 |
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 |