cryptol-2.9.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.Eval.Backend, Cryptol.Eval.Value
SBV 
1 (Type/Class)Cryptol.Eval.SBV
2 (Data Constructor)Cryptol.Eval.SBV
SBVError 
1 (Data Constructor)Cryptol.Eval.SBV
2 (Data Constructor)Cryptol.REPL.Monad
SBVEval 
1 (Type/Class)Cryptol.Eval.SBV
2 (Data Constructor)Cryptol.Eval.SBV
sbvEvalCryptol.Eval.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.Eval.SBV
2 (Data Constructor)Cryptol.Eval.SBV
Schema 
1 (Type/Class)Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Type/Class)Cryptol.Parser.AST
schemaParamCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sDeclareHoleCryptol.Eval.Backend, Cryptol.Eval.Value
sDelayCryptol.Eval.Backend
sDelayFillCryptol.Eval.Backend, Cryptol.Eval.Value
sDenomCryptol.Eval.Backend
sdivVCryptol.Eval.Generic
seedGoalCryptol.TypeCheck.Monad
seedTVarCryptol.TypeCheck.Monad
SelectorCryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
selNameCryptol.Parser.Selector
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.Eval.Backend, Cryptol.Eval.Value
SFloat 
1 (Type/Class)Cryptol.Eval.What4.SFloat
2 (Data Constructor)Cryptol.Eval.What4.SFloat
3 (Type/Class)Cryptol.Eval.Backend, Cryptol.Eval.Value
SFloatBinArithCryptol.Eval.What4.SFloat
SFloatRelCryptol.Eval.What4.SFloat
shadowingCryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer
shadowNamesCryptol.ModuleSystem.Renamer
ShellArgCryptol.REPL.Command
shiftLeftReindexCryptol.Eval.Generic
shiftRightReindexCryptol.Eval.Generic
shiftShrinkCryptol.Eval.Generic
shouldContinueCryptol.REPL.Monad
ShowParseableCryptol.TypeCheck.Parseable
showParseableCryptol.TypeCheck.Parseable
shrinkModelCryptol.TypeCheck.Solver.SMT
SignatureNoBindCryptol.Parser.NoPat
signedBVCryptol.Eval.Concrete.Value, Cryptol.Eval.Concrete
signedLessThanVCryptol.Eval.Generic
signedValueCryptol.Eval.Concrete.Value, 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.Eval.Backend, Cryptol.Eval.Value
sLg2Cryptol.Eval.What4.Value
sModAddCryptol.Eval.What4.Value
sModMultCryptol.Eval.What4.Value
sModNegateCryptol.Eval.What4.Value
sModSubCryptol.Eval.What4.Value
smodVCryptol.Eval.Generic
SmokeCryptol.REPL.Monad
smokeTestCryptol.REPL.Monad
sNumCryptol.Eval.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
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
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.Eval.Backend, Cryptol.Eval.Value
splitWordValCryptol.Eval.Generic
sPropsCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SRational 
1 (Type/Class)Cryptol.Eval.Backend
2 (Data Constructor)Cryptol.Eval.Backend
srcRangeCryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
sshrVCryptol.Eval.What4.Value
sSparkCryptol.Eval.Backend, Cryptol.Eval.Value
startCryptol.Parser.Position
stderrLoggerCryptol.Utils.Logger
stdoutLoggerCryptol.Utils.Logger
stopCryptol.REPL.Monad
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
superclassSetCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SupplyCryptol.ModuleSystem.Name
SupplyTCryptol.ModuleSystem.Name
sVarsCryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SWordCryptol.Eval.Backend, Cryptol.Eval.Value
SymCryptol.Parser.Lexer
SymbolShadowedCryptol.ModuleSystem.Renamer
SystemNameCryptol.ModuleSystem.Name