cryptol-3.0.0: Cryptol: The Language of Cryptography

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Z
- :
- !
- $
- &
- .
- <
- =
- >
- @
- |
- ~
- _
- All

Index - S

SafetyQuery | Cryptol.Symbolic
SafetyViolation | Cryptol.Symbolic
same | Cryptol.TypeCheck.Sanity
SameIf | Cryptol.TypeCheck.Sanity
sanitize | Cryptol.REPL.Command
satCmd | Cryptol.REPL.Command
SatNum | Cryptol.Symbolic
satProve |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
satProveOffline |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
SatQuery | Cryptol.Symbolic
saturatedAsmps | Cryptol.TypeCheck.Solver.Types
saturatedPropSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
SBit | Cryptol.Backend, Cryptol.Eval.Value
SBV |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvDefRelations | Cryptol.Backend.SBV
SBVError |
1 (Data Constructor) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.REPL.Monad
SBVEval |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvEval | Cryptol.Backend.SBV
SBVException | Cryptol.REPL.Monad
SBVPortfolioException |
1 (Type/Class) | Cryptol.Symbolic.SBV
2 (Data Constructor) | Cryptol.Symbolic.SBV
3 (Data Constructor) | Cryptol.REPL.Monad
SBVProverConfig | Cryptol.Symbolic.SBV
SBVResult |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvStateVar | Cryptol.Backend.SBV
scanlV | Cryptol.Eval.Generic
Schema |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SchemaMismatch | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
schemaParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ScopeName | Cryptol.TypeCheck.Monad
sDeclareHole | Cryptol.Backend, Cryptol.Eval.Value
sDelay | Cryptol.Backend
sDelayFill | Cryptol.Backend, Cryptol.Eval.Value
sDenom | Cryptol.Backend
sdivV | Cryptol.Eval.Generic
secs | Cryptol.Utils.Benchmark
seedGoal | Cryptol.TypeCheck.Monad
seedTVar | Cryptol.TypeCheck.Monad
Selector |
1 (Data Constructor) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
2 (Type/Class) | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
selectorScope | Cryptol.TypeCheck.Monad
SelectorType | Cryptol.Parser.Token
selName | Cryptol.Parser.Selector
selSrc | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
Semi | Cryptol.Parser.Token, Cryptol.Parser.Lexer
sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
SeqMap | Cryptol.Backend.SeqMap
setCurMod | Cryptol.ModuleSystem.Renamer.Monad
setDynEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
setEditPath | Cryptol.REPL.Monad
setFocusedModule | Cryptol.ModuleSystem.Monad
setLoadedMod | Cryptol.REPL.Monad
setModParams | Cryptol.ModuleSystem.Renamer.Monad
setModuleEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
setMonoBinds | Cryptol.ModuleSystem.Monad
setNameSeeds | Cryptol.ModuleSystem.Monad
setNestedModule | Cryptol.ModuleSystem.Renamer.Monad
setOptionCmd | Cryptol.REPL.Command
setPutStr | Cryptol.REPL.Monad
setRandomGen | Cryptol.REPL.Monad
setResolvedLocals | Cryptol.ModuleSystem.Renamer.Monad
setSearchPath | Cryptol.REPL.Monad
setSpecCache | Cryptol.Transform.Specialize
setSupply | Cryptol.ModuleSystem.Monad
setUpdateREPLTitle | Cryptol.REPL.Monad
setupProver |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
setUser | Cryptol.REPL.Monad
SEval | Cryptol.Backend, Cryptol.Eval.Value
SFloat | Cryptol.Backend, Cryptol.Eval.Value
sGetCallStack | Cryptol.Backend, Cryptol.Eval.Value
SHA256Block |
1 (Type/Class) | Cryptol.SHA
2 (Data Constructor) | Cryptol.SHA
SHA256S | Cryptol.SHA
SHA256State | Cryptol.SHA
SHA512Block |
1 (Type/Class) | Cryptol.SHA
2 (Data Constructor) | Cryptol.SHA
SHA512S | Cryptol.SHA
SHA512State | Cryptol.SHA
shadowing | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer
shadowNames | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
shadowNames' | Cryptol.ModuleSystem.Renamer.Monad
ShellArg | Cryptol.REPL.Command
shiftLeftReindex | Cryptol.Eval.Generic
shiftRightReindex | Cryptol.Eval.Generic
shiftSeqByInteger | Cryptol.Backend.SeqMap
shiftSeqByWord | Cryptol.Backend.WordValue
shiftShrink | Cryptol.Eval.Generic
shiftWordByInteger | Cryptol.Backend.WordValue
shiftWordByWord | Cryptol.Backend.WordValue
shl | Cryptol.Backend.SBV
shouldContinue | Cryptol.REPL.Monad
ShowParseable | Cryptol.TypeCheck.Parseable
showParseable | Cryptol.TypeCheck.Parseable
shrinkModel | Cryptol.TypeCheck.Solver.SMT
sigConstraints | Cryptol.Parser.AST
SigDecl | Cryptol.Parser.AST
sigDecls | Cryptol.Parser.AST
sigFunParams | Cryptol.Parser.AST
sigImports | Cryptol.Parser.AST
Signature |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
SignatureNoBind | Cryptol.Parser.NoPat
SignatureScope | Cryptol.TypeCheck.Monad
signedBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
signedLessThanV | Cryptol.Eval.Generic
signedValue | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
SigPropSyn | Cryptol.Parser.AST
sigTypeParams | Cryptol.Parser.AST
SigTySyn | Cryptol.Parser.AST
simpGoal | Cryptol.TypeCheck.Monad
simpGoals | Cryptol.TypeCheck.Monad
simplify | Cryptol.TypeCheck.SimpleSolver
simplifyAllConstraints | Cryptol.TypeCheck.Solve
simplifyStep | Cryptol.TypeCheck.SimpleSolver
singleSubst | Cryptol.TypeCheck.Subst
singletonNS | Cryptol.ModuleSystem.NamingEnv
singleTParamSubst | Cryptol.TypeCheck.Subst
SInteger | Cryptol.Backend, Cryptol.Eval.Value
sLg2 | Cryptol.Backend.What4
sModAdd | Cryptol.Backend.What4
sModifyCallStack | Cryptol.Backend, Cryptol.Eval.Value
sModMult | Cryptol.Backend.What4
sModNegate | Cryptol.Backend.What4
sModRecip | Cryptol.Backend.What4
sModSub | Cryptol.Backend.What4
smodV | Cryptol.Eval.Generic
Smoke | Cryptol.REPL.Monad
smokeTest | Cryptol.REPL.Monad
sNum | Cryptol.Backend
solveCmpInst | Cryptol.TypeCheck.Solver.Class
Solved | Cryptol.TypeCheck.Solver.Types
SolvedIf | Cryptol.TypeCheck.Solver.Types
solveEqInst | Cryptol.TypeCheck.Solver.Class
solveFieldInst | Cryptol.TypeCheck.Solver.Class
solveFLiteralInst | Cryptol.TypeCheck.Solver.Class
solveHasGoal | Cryptol.TypeCheck.Monad
solveIntegralInst | Cryptol.TypeCheck.Solver.Class
solveLiteralInst | Cryptol.TypeCheck.Solver.Class
solveLiteralLessThanInst | Cryptol.TypeCheck.Solver.Class
solveLogicInst | Cryptol.TypeCheck.Solver.Class
solveOpts | Cryptol.TypeCheck.Solver.Types
Solver | Cryptol.TypeCheck.Solver.SMT
solverArgs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
SolverConfig |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Solver.SMT, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
SolverCtxt | Cryptol.TypeCheck.Solver.Types
solveRingInst | Cryptol.TypeCheck.Solver.Class
solveRoundInst | Cryptol.TypeCheck.Solver.Class
solverPath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverPreludePath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverVerbose | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solveSignedCmpInst | Cryptol.TypeCheck.Solver.Class
solveValidFloat | Cryptol.TypeCheck.Solver.Class
solveZeroInst | Cryptol.TypeCheck.Solver.Class
SomeFFIArg |
1 (Type/Class) | Cryptol.Backend.FFI
2 (Data Constructor) | Cryptol.Backend.FFI
SomeSat | Cryptol.Symbolic
SomeSymFn |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
source | Cryptol.Parser.Position
Space | Cryptol.Parser.Token, Cryptol.Parser.Lexer
sparkParMap | Cryptol.Eval.Generic
SpecCache | Cryptol.Transform.Specialize
specialize | Cryptol.Transform.Specialize
specializeConst | Cryptol.Transform.Specialize
specializeDeclGroups | Cryptol.Transform.Specialize
specializeEWhere | Cryptol.Transform.Specialize
specializeExpr | Cryptol.Transform.Specialize
specializeMatch | Cryptol.Transform.Specialize
SpecM | Cryptol.Transform.Specialize
SpecT | Cryptol.Transform.Specialize
splitAbs | Cryptol.TypeCheck.AST
splitApp | Cryptol.TypeCheck.AST
splitCommand | Cryptol.REPL.Command
splitConstFactor | Cryptol.TypeCheck.Solver.Utils
splitConstSummand | Cryptol.TypeCheck.Solver.Utils
splitExprInst | Cryptol.TypeCheck.AST
splitLoc | Cryptol.TypeCheck.AST
splitProofAbs | Cryptol.TypeCheck.AST
splitProofApp | Cryptol.TypeCheck.AST
splitSeqMap | Cryptol.Backend.SeqMap
splitTAbs | Cryptol.TypeCheck.AST
splitTApp | Cryptol.TypeCheck.AST
splitV | Cryptol.Eval.Generic
splitVarSummand | Cryptol.TypeCheck.Solver.Utils
splitVarSummands | Cryptol.TypeCheck.Solver.Utils
splitWhile | Cryptol.TypeCheck.AST
splitWord | Cryptol.Backend, Cryptol.Eval.Value
sProps | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sPushFrame | Cryptol.Backend, Cryptol.Eval.Value
SRational |
1 (Type/Class) | Cryptol.Backend
2 (Data Constructor) | Cryptol.Backend
srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
sshrV | Cryptol.Eval.Generic
sSpark | Cryptol.Backend, Cryptol.Eval.Value
start | Cryptol.Parser.Position
startsLayout | Cryptol.Parser.Layout
startSolver | Cryptol.TypeCheck.Solver.SMT
startsParenBlock | Cryptol.Parser.Layout
State | Cryptol.AES
stderrLogger | Cryptol.Utils.Logger
stdoutLogger | Cryptol.Utils.Logger
stop | Cryptol.REPL.Monad
stopSolver | Cryptol.TypeCheck.Solver.SMT
streamSeqMap | Cryptol.Backend.SeqMap
StrLit | Cryptol.Parser.Token, Cryptol.Parser.Lexer
SType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Su | Cryptol.TypeCheck.ModuleInstance
SubModule | Cryptol.TypeCheck.Monad
Subst | Cryptol.TypeCheck.Subst
substBinds | Cryptol.TypeCheck.Subst
SubstError | Cryptol.TypeCheck.Subst
SubstEscaped | Cryptol.TypeCheck.Subst
SubstKindMismatch | Cryptol.TypeCheck.Subst
SubstRecursive | Cryptol.TypeCheck.Subst
substToList | Cryptol.TypeCheck.Subst
subsumes | Cryptol.TypeCheck.Error
subV | Cryptol.Eval.Generic
succeed | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
suiteBName | Cryptol.Utils.Ident
suiteBPrim | Cryptol.Utils.Ident
superclassSet | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Supply | Cryptol.ModuleSystem.Name
SupplyT | Cryptol.ModuleSystem.Name
sVars | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
svFromInteger | Cryptol.Backend.SBV
svToInteger | Cryptol.Backend.SBV
sWithCallStack | Cryptol.Backend, Cryptol.Eval.Value
SWord | Cryptol.Backend, Cryptol.Eval.Value
Sym | Cryptol.Parser.Token, Cryptol.Parser.Lexer
SymbolShadowed | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
SystemName | Cryptol.ModuleSystem.Name