| 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 | 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 |
| 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 |
| 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.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 |
| 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 |
| sSpark | Cryptol.Backend, Cryptol.Eval.Value |
| start | Cryptol.Parser.Position |
| startSolver | Cryptol.TypeCheck.Solver.SMT |
| State | Cryptol.AES |
| stderrLogger | Cryptol.Utils.Logger |
| stdoutLogger | Cryptol.Utils.Logger |
| stop | Cryptol.REPL.Monad |
| stopSolver | Cryptol.TypeCheck.Solver.SMT |
| 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 |
| sWithCallStack | Cryptol.Backend, Cryptol.Eval.Value |
| SWord | Cryptol.Backend, Cryptol.Eval.Value |
| Sym | Cryptol.Parser.Lexer |
| SymbolShadowed | Cryptol.ModuleSystem.Renamer |
| SystemName | Cryptol.ModuleSystem.Name |