cryptol-2.11.0: Cryptol: The Language of Cryptography

Index - S

SafetyQueryCryptol.Symbolic
SafetyViolationCryptol.Symbolic
sameCryptol.TypeCheck.Sanity
sanitizeCryptol.REPL.Command
satCmdCryptol.REPL.Command
SatNumCryptol.Symbolic
satProve 
1 (Function)Cryptol.Symbolic.What4
2 (Function)Cryptol.Symbolic.SBV
satProveOffline 
1 (Function)Cryptol.Symbolic.What4
2 (Function)Cryptol.Symbolic.SBV
SatQueryCryptol.Symbolic
saturatedAsmpsCryptol.TypeCheck.Solver.Types
saturatedPropSetCryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
SBitCryptol.Backend, Cryptol.Eval.Value
SBV 
1 (Type/Class)Cryptol.Backend.SBV
2 (Data Constructor)Cryptol.Backend.SBV
sbvDefRelationsCryptol.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
sbvEvalCryptol.Backend.SBV
SBVExceptionCryptol.REPL.Monad
SBVPortfolioException 
1 (Type/Class)Cryptol.Symbolic.SBV
2 (Data Constructor)Cryptol.Symbolic.SBV
3 (Data Constructor)Cryptol.REPL.Monad
SBVProverConfigCryptol.Symbolic.SBV
SBVResult 
1 (Type/Class)Cryptol.Backend.SBV
2 (Data Constructor)Cryptol.Backend.SBV
sbvStateVarCryptol.Backend.SBV
Schema 
1 (Type/Class)Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Type/Class)Cryptol.Parser.AST
schemaParamCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sDeclareHoleCryptol.Backend, Cryptol.Eval.Value
sDelayCryptol.Backend
sDelayFillCryptol.Backend, Cryptol.Eval.Value
sDenomCryptol.Backend
sdivVCryptol.Eval.Generic
seedGoalCryptol.TypeCheck.Monad
seedTVarCryptol.TypeCheck.Monad
Selector 
1 (Type/Class)Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
2 (Data Constructor)Cryptol.Parser.Lexer
selNameCryptol.Parser.Selector
selSrcCryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
SemiCryptol.Parser.Lexer
sepCryptol.Utils.PP, Cryptol.TypeCheck.PP
SeqMapCryptol.Eval.Value
setDocStringCryptol.TypeCheck.Depends
setDynEnv 
1 (Function)Cryptol.ModuleSystem.Monad
2 (Function)Cryptol.REPL.Monad
setEditPathCryptol.REPL.Monad
setFocusedModuleCryptol.ModuleSystem.Monad
setLoadedModCryptol.REPL.Monad
setModuleEnv 
1 (Function)Cryptol.ModuleSystem.Monad
2 (Function)Cryptol.REPL.Monad
setMonoBindsCryptol.ModuleSystem.Monad
setNameSeedsCryptol.ModuleSystem.Monad
setOptionCmdCryptol.REPL.Command
setPutStrCryptol.REPL.Monad
setSearchPathCryptol.REPL.Monad
setSolverCryptol.ModuleSystem.Monad
setSpecCacheCryptol.Transform.Specialize
setSupplyCryptol.ModuleSystem.Monad
setUpdateREPLTitleCryptol.REPL.Monad
setupProver 
1 (Function)Cryptol.Symbolic.What4
2 (Function)Cryptol.Symbolic.SBV
setUserCryptol.REPL.Monad
SEvalCryptol.Backend, Cryptol.Eval.Value
SFloatCryptol.Backend, Cryptol.Eval.Value
sGetCallStackCryptol.Backend, Cryptol.Eval.Value
SHA256Block 
1 (Type/Class)Cryptol.SHA
2 (Data Constructor)Cryptol.SHA
SHA256SCryptol.SHA
SHA256StateCryptol.SHA
SHA512Block 
1 (Type/Class)Cryptol.SHA
2 (Data Constructor)Cryptol.SHA
SHA512SCryptol.SHA
SHA512StateCryptol.SHA
shadowingCryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer
shadowNamesCryptol.ModuleSystem.Renamer
ShellArgCryptol.REPL.Command
shiftLeftReindexCryptol.Eval.Generic
shiftRightReindexCryptol.Eval.Generic
shiftShrinkCryptol.Eval.Generic
shlCryptol.Backend.SBV
shouldContinueCryptol.REPL.Monad
ShowParseableCryptol.TypeCheck.Parseable
showParseableCryptol.TypeCheck.Parseable
shrinkModelCryptol.TypeCheck.Solver.SMT
SignatureNoBindCryptol.Parser.NoPat
signedBVCryptol.Backend.Concrete, Cryptol.Eval.Concrete
signedLessThanVCryptol.Eval.Generic
signedValueCryptol.Backend.Concrete, Cryptol.Eval.Concrete
simpGoalCryptol.TypeCheck.Monad
simpGoalsCryptol.TypeCheck.Monad
simplifyCryptol.TypeCheck.SimpleSolver
simplifyAllConstraintsCryptol.TypeCheck.Solve
simplifyStepCryptol.TypeCheck.SimpleSolver
singleSubstCryptol.TypeCheck.Subst
singletonECryptol.ModuleSystem.NamingEnv
singletonTCryptol.ModuleSystem.NamingEnv
singleTParamSubstCryptol.TypeCheck.Subst
SIntegerCryptol.Backend, Cryptol.Eval.Value
sLg2Cryptol.Backend.What4
sModAddCryptol.Backend.What4
sModifyCallStackCryptol.Backend, Cryptol.Eval.Value
sModMultCryptol.Backend.What4
sModNegateCryptol.Backend.What4
sModRecipCryptol.Backend.What4
sModSubCryptol.Backend.What4
smodVCryptol.Eval.Generic
SmokeCryptol.REPL.Monad
smokeTestCryptol.REPL.Monad
sNumCryptol.Backend
solveCmpInstCryptol.TypeCheck.Solver.Class
SolvedCryptol.TypeCheck.Solver.Types
SolvedIfCryptol.TypeCheck.Solver.Types
solveEqInstCryptol.TypeCheck.Solver.Class
solveFieldInstCryptol.TypeCheck.Solver.Class
solveFLiteralInstCryptol.TypeCheck.Solver.Class
solveHasGoalCryptol.TypeCheck.Monad
solveIntegralInstCryptol.TypeCheck.Solver.Class
solveLiteralInstCryptol.TypeCheck.Solver.Class
solveLiteralLessThanInstCryptol.TypeCheck.Solver.Class
solveLogicInstCryptol.TypeCheck.Solver.Class
solveOptsCryptol.TypeCheck.Solver.Types
SolverCryptol.TypeCheck.Solver.SMT
solverArgsCryptol.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
SolverCtxtCryptol.TypeCheck.Solver.Types
solveRingInstCryptol.TypeCheck.Solver.Class
solveRoundInstCryptol.TypeCheck.Solver.Class
solverPathCryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverPreludePathCryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverVerboseCryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solveSignedCmpInstCryptol.TypeCheck.Solver.Class
solveValidFloatCryptol.TypeCheck.Solver.Class
solveZeroInstCryptol.TypeCheck.Solver.Class
SomeSatCryptol.Symbolic
SomeSymFn 
1 (Type/Class)Cryptol.Backend.What4
2 (Data Constructor)Cryptol.Backend.What4
sourceCryptol.Parser.Position
SpaceCryptol.Parser.Lexer
sparkParMapCryptol.Eval.Generic
SpecCacheCryptol.Transform.Specialize
specializeCryptol.Transform.Specialize
specializeConstCryptol.Transform.Specialize
specializeDeclGroupsCryptol.Transform.Specialize
specializeEWhereCryptol.Transform.Specialize
specializeExprCryptol.Transform.Specialize
specializeMatchCryptol.Transform.Specialize
SpecMCryptol.Transform.Specialize
SpecTCryptol.Transform.Specialize
splitAbsCryptol.TypeCheck.AST
splitAtVCryptol.Eval.Generic
splitCommandCryptol.REPL.Command
splitConstFactorCryptol.TypeCheck.Solver.Utils
splitConstSummandCryptol.TypeCheck.Solver.Utils
splitExprInstCryptol.TypeCheck.AST
splitProofAbsCryptol.TypeCheck.AST
splitProofAppCryptol.TypeCheck.AST
splitSeqMapCryptol.Eval.Value
splitTAbsCryptol.TypeCheck.AST
splitTAppCryptol.TypeCheck.AST
splitVarSummandCryptol.TypeCheck.Solver.Utils
splitVarSummandsCryptol.TypeCheck.Solver.Utils
splitWhileCryptol.TypeCheck.AST
splitWordCryptol.Backend, Cryptol.Eval.Value
splitWordValCryptol.Eval.Generic
sPropsCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sPushFrameCryptol.Backend, Cryptol.Eval.Value
SRational 
1 (Type/Class)Cryptol.Backend
2 (Data Constructor)Cryptol.Backend
srcRangeCryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
sSparkCryptol.Backend, Cryptol.Eval.Value
startCryptol.Parser.Position
startSolverCryptol.TypeCheck.Solver.SMT
StateCryptol.AES
stderrLoggerCryptol.Utils.Logger
stdoutLoggerCryptol.Utils.Logger
stopCryptol.REPL.Monad
stopSolverCryptol.TypeCheck.Solver.SMT
streamSeqMapCryptol.Eval.Value
StrLitCryptol.Parser.Lexer
STypeCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sTypeCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SubstCryptol.TypeCheck.Subst
substBindsCryptol.TypeCheck.Subst
SubstErrorCryptol.TypeCheck.Subst
SubstEscapedCryptol.TypeCheck.Subst
SubstKindMismatchCryptol.TypeCheck.Subst
SubstRecursiveCryptol.TypeCheck.Subst
substToListCryptol.TypeCheck.Subst
subsumesCryptol.TypeCheck.Error
subVCryptol.Eval.Generic
succeedCryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
suiteBNameCryptol.Utils.Ident
suiteBPrimCryptol.Utils.Ident
superclassSetCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SupplyCryptol.ModuleSystem.Name
SupplyTCryptol.ModuleSystem.Name
sVarsCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
svFromIntegerCryptol.Backend.SBV
svToIntegerCryptol.Backend.SBV
sWithCallStackCryptol.Backend, Cryptol.Eval.Value
SWordCryptol.Backend, Cryptol.Eval.Value
SymCryptol.Parser.Lexer
SymbolShadowedCryptol.ModuleSystem.Renamer
SystemNameCryptol.ModuleSystem.Name