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
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
Schema
1 (Type/Class)	Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Type/Class)	Cryptol.Parser.AST
schemaParam	Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sDeclareHole	Cryptol.Backend, Cryptol.Eval.Value
sDelay	Cryptol.Backend
sDelayFill	Cryptol.Backend, Cryptol.Eval.Value
sDenom	Cryptol.Backend
sdivV	Cryptol.Eval.Generic
seedGoal	Cryptol.TypeCheck.Monad
seedTVar	Cryptol.TypeCheck.Monad
Selector
1 (Type/Class)	Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
2 (Data Constructor)	Cryptol.Parser.Lexer
selName	Cryptol.Parser.Selector
selSrc	Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
Semi	Cryptol.Parser.Lexer
sep	Cryptol.Utils.PP, Cryptol.TypeCheck.PP
SeqMap	Cryptol.Eval.Value
setDocString	Cryptol.TypeCheck.Depends
setDynEnv
1 (Function)	Cryptol.ModuleSystem.Monad
2 (Function)	Cryptol.REPL.Monad
setEditPath	Cryptol.REPL.Monad
setFocusedModule	Cryptol.ModuleSystem.Monad
setLoadedMod	Cryptol.REPL.Monad
setModuleEnv
1 (Function)	Cryptol.ModuleSystem.Monad
2 (Function)	Cryptol.REPL.Monad
setMonoBinds	Cryptol.ModuleSystem.Monad
setNameSeeds	Cryptol.ModuleSystem.Monad
setOptionCmd	Cryptol.REPL.Command
setPutStr	Cryptol.REPL.Monad
setSearchPath	Cryptol.REPL.Monad
setSolver	Cryptol.ModuleSystem.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
1 (Type/Class)	Cryptol.Backend.What4.SFloat
2 (Data Constructor)	Cryptol.Backend.What4.SFloat
3 (Type/Class)	Cryptol.Backend, Cryptol.Eval.Value
SFloatBinArith	Cryptol.Backend.What4.SFloat
SFloatRel	Cryptol.Backend.What4.SFloat
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
ShellArg	Cryptol.REPL.Command
shiftLeftReindex	Cryptol.Eval.Generic
shiftRightReindex	Cryptol.Eval.Generic
shiftShrink	Cryptol.Eval.Generic
shl	Cryptol.Backend.SBV
shouldContinue	Cryptol.REPL.Monad
ShowParseable	Cryptol.TypeCheck.Parseable
showParseable	Cryptol.TypeCheck.Parseable
shrinkModel	Cryptol.TypeCheck.Solver.SMT
SignatureNoBind	Cryptol.Parser.NoPat
signedBV	Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
signedLessThanV	Cryptol.Eval.Generic
signedValue	Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
simpGoal	Cryptol.TypeCheck.Monad
simpGoals	Cryptol.TypeCheck.Monad
simplify	Cryptol.TypeCheck.SimpleSolver
simplifyAllConstraints	Cryptol.TypeCheck.Solve
simplifyStep	Cryptol.TypeCheck.SimpleSolver
singleSubst	Cryptol.TypeCheck.Subst
singletonE	Cryptol.ModuleSystem.NamingEnv
singletonT	Cryptol.ModuleSystem.NamingEnv
singleTParamSubst	Cryptol.TypeCheck.Subst
SInteger	Cryptol.Backend, Cryptol.Eval.Value
sLg2	Cryptol.Backend.What4
sModAdd	Cryptol.Backend.What4
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
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.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
SomeSat	Cryptol.Symbolic
SomeSymFn
1 (Type/Class)	Cryptol.Backend.What4
2 (Data Constructor)	Cryptol.Backend.What4
source	Cryptol.Parser.Position
Space	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
splitAtV	Cryptol.Eval.Generic
splitCommand	Cryptol.REPL.Command
splitConstFactor	Cryptol.TypeCheck.Solver.Utils
splitConstSummand	Cryptol.TypeCheck.Solver.Utils
splitExprInst	Cryptol.TypeCheck.AST
splitProofAbs	Cryptol.TypeCheck.AST
splitProofApp	Cryptol.TypeCheck.AST
splitSeqMap	Cryptol.Eval.Value
splitTAbs	Cryptol.TypeCheck.AST
splitTApp	Cryptol.TypeCheck.AST
splitVarSummand	Cryptol.TypeCheck.Solver.Utils
splitVarSummands	Cryptol.TypeCheck.Solver.Utils
splitWhile	Cryptol.TypeCheck.AST
splitWord	Cryptol.Backend, Cryptol.Eval.Value
splitWordVal	Cryptol.Eval.Generic
sProps	Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SRational
1 (Type/Class)	Cryptol.Backend
2 (Data Constructor)	Cryptol.Backend
srcRange	Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
sSpark	Cryptol.Backend, Cryptol.Eval.Value
start	Cryptol.Parser.Position
State	Cryptol.AES
stderrLogger	Cryptol.Utils.Logger
stdoutLogger	Cryptol.Utils.Logger
stop	Cryptol.REPL.Monad
streamSeqMap	Cryptol.Eval.Value
StrLit	Cryptol.Parser.Lexer
SType	Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sType	Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
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
SWord	Cryptol.Backend, Cryptol.Eval.Value
Sym	Cryptol.Parser.Lexer
SymbolShadowed	Cryptol.ModuleSystem.Renamer
SystemName	Cryptol.ModuleSystem.Name