dbgLex | Cryptol.Parser.Lexer |
DBind | Cryptol.Parser.AST |
dctAsmps | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctForall | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dDefinition | Cryptol.TypeCheck.AST |
dDoc | Cryptol.TypeCheck.AST |
debugBlock | Cryptol.TypeCheck.Solver.SMT |
debugLog | Cryptol.TypeCheck.Solver.SMT |
DecFrac | Cryptol.Parser.AST |
Decl | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
4 (Data Constructor) | Cryptol.TypeCheck.AST |
Declared | Cryptol.ModuleSystem.Name |
DeclDef | Cryptol.TypeCheck.AST |
DeclGroup | Cryptol.TypeCheck.AST |
DecLit | Cryptol.Parser.AST |
DeclsArg | Cryptol.REPL.Command |
declsLinter | Cryptol.ModuleSystem.Base |
deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
defaultAndSimplify | Cryptol.TypeCheck.Solve |
defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
defaultFixity | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
DefaultingKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
defaultingSubst | Cryptol.TypeCheck.Subst |
DefaultingTo | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
DefaultingWildType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
defaultLiterals | Cryptol.TypeCheck.Default |
defaultPPOpts | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval.Value, Cryptol.Eval |
defaultProver | |
1 (Function) | Cryptol.Symbolic.What4 |
2 (Function) | Cryptol.Symbolic.SBV |
defaultReplExpr | Cryptol.TypeCheck.Solve |
defaultReplExpr' | Cryptol.TypeCheck.Default |
defaultSolverConfig | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
DefinitionOf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
Defs | Cryptol.IR.FreeVars |
defs | Cryptol.IR.FreeVars |
defsOf | Cryptol.ModuleSystem.NamingEnv |
deIfaceDecls | Cryptol.ModuleSystem.Env |
DelayedCt | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
delayFill | Cryptol.Backend.Monad |
delaySeqMap | Cryptol.Backend.SeqMap |
delayWordValue | Cryptol.Backend.WordValue |
deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
depGroup | Cryptol.ModuleSystem.Renamer.Monad |
DepName | Cryptol.ModuleSystem.Renamer.Error |
depNameLoc | Cryptol.ModuleSystem.Renamer.Error |
Deps | |
1 (Type/Class) | Cryptol.IR.FreeVars |
2 (Data Constructor) | Cryptol.IR.FreeVars |
depsOf | Cryptol.ModuleSystem.Renamer.Monad |
destEProofAbs | Cryptol.Transform.Specialize |
destEProofApps | Cryptol.Transform.Specialize |
destETAbs | Cryptol.Transform.Specialize |
destETApps | Cryptol.Transform.Specialize |
deTySyns | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
DExpr | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
DFixity | Cryptol.Parser.AST |
dFixity | Cryptol.TypeCheck.AST |
DImport | Cryptol.Parser.AST |
dInfix | Cryptol.TypeCheck.AST |
DirectoryNotFound | Cryptol.REPL.Monad |
displayCallStack | Cryptol.Backend.Monad |
displayFields | Cryptol.Utils.RecordMap |
DisplayOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
displayOrder | Cryptol.Utils.RecordMap |
displayVersion | Cryptol.Version |
distinctV | Cryptol.Eval.Generic |
Div | Cryptol.Parser.Token |
DivideByZero | Cryptol.Backend.Monad, Cryptol.Eval |
divV | Cryptol.Eval.Generic |
DLocated | Cryptol.Parser.AST |
DModule | Cryptol.Parser.AST |
dName | Cryptol.TypeCheck.AST |
Doc | |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
DocStr | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
doEval | Cryptol.Backend.What4 |
doLoadModule | Cryptol.ModuleSystem.Base |
Dot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
DotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
DotDotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
DotDotGt | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
DotDotLt | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
DParameterConstraint | Cryptol.Parser.AST |
DParameterFun | Cryptol.Parser.AST |
DParameterType | Cryptol.Parser.AST |
DPatBind | Cryptol.Parser.AST |
DPragma | Cryptol.Parser.AST |
dPragmas | Cryptol.TypeCheck.AST |
DPrim | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
DPrimType | Cryptol.Parser.AST |
DProp | Cryptol.Parser.AST |
DRec | Cryptol.Parser.AST |
dropLoc | Cryptol.Parser.Position |
dropSeqMap | Cryptol.Backend.SeqMap |
dropV | Cryptol.Eval.Generic |
dropWordVal | Cryptol.Backend.WordValue |
DSignature | Cryptol.Parser.AST |
dSignature | Cryptol.TypeCheck.AST |
DType | Cryptol.Parser.AST |
dump | Cryptol.TypeCheck.PP |
dumpableType | Cryptol.Testing.Random |
DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
duplicateModuleName | Cryptol.ModuleSystem.Monad |
DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
dynModContext | Cryptol.ModuleSystem.Env |