| same | Cryptol.TypeCheck.Sanity |
| sanitize | Cryptol.REPL.Command |
| satCmd | Cryptol.REPL.Command |
| SatNum | Cryptol.Symbolic |
| satProve | Cryptol.Symbolic |
| satProveOffline | Cryptol.Symbolic |
| SatQuery | Cryptol.Symbolic |
| SatResult | Cryptol.Symbolic |
| satSMTResults | Cryptol.Symbolic |
| SBool | Cryptol.Symbolic.Value |
| Schema | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| seedGoal | Cryptol.TypeCheck.Monad |
| seedTVar | Cryptol.TypeCheck.Monad |
| Selector | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| selectV | Cryptol.Symbolic.Prims |
| Semi | Cryptol.Parser.Lexer |
| sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| SeqMap | Cryptol.Eval.Value |
| SeqValMap | Cryptol.Eval.Value |
| setDynEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | 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 |
| setUser | Cryptol.REPL.Monad |
| sExp | Cryptol.Symbolic.Prims |
| shadowing | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| shadowNames | Cryptol.ModuleSystem.Renamer |
| ShellArg | Cryptol.REPL.Command |
| shifter | Cryptol.Symbolic.Prims |
| shiftLB | Cryptol.Prims.Eval |
| shiftLS | Cryptol.Prims.Eval |
| shiftLW | Cryptol.Prims.Eval |
| shiftRB | Cryptol.Prims.Eval |
| shiftRS | Cryptol.Prims.Eval |
| shiftRW | Cryptol.Prims.Eval |
| shouldContinue | Cryptol.REPL.Monad |
| Sign | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| SignatureNoBind | Cryptol.Parser.NoPat |
| signed | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| simpGoal | Cryptol.TypeCheck.Monad |
| simpGoals | Cryptol.TypeCheck.Monad |
| simplify | Cryptol.TypeCheck.SimpleSolver |
| simplifyAllConstraints | Cryptol.TypeCheck.Solve |
| simplifyProps | Cryptol.TypeCheck.Solver.CrySAT |
| simplifyStep | Cryptol.TypeCheck.SimpleSolver |
| singleSubst | Cryptol.TypeCheck.Subst |
| singletonE | Cryptol.ModuleSystem.NamingEnv |
| singletonT | Cryptol.ModuleSystem.NamingEnv |
| sLg2 | Cryptol.Symbolic.Prims |
| smallest | Cryptol.TypeCheck.Infer |
| Smoke | Cryptol.REPL.Monad |
| smokeTest | Cryptol.REPL.Monad |
| smtFinName | Cryptol.TypeCheck.Solver.Numeric.SMT |
| smtName | Cryptol.TypeCheck.Solver.Numeric.SMT |
| solveArithInst | Cryptol.TypeCheck.Solver.Class |
| solveCmpInst | Cryptol.TypeCheck.Solver.Class |
| Solved | Cryptol.TypeCheck.Solver.Types |
| SolvedIf | Cryptol.TypeCheck.Solver.Types |
| solveHasGoal | Cryptol.TypeCheck.Monad |
| solveOpts | Cryptol.TypeCheck.Solver.Types |
| Solver | Cryptol.TypeCheck.Solver.CrySAT |
| 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 |
| solverPath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| solverVerbose | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| SomeSat | Cryptol.Symbolic |
| source | Cryptol.Parser.Position |
| Space | Cryptol.Parser.Lexer |
| 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.Prims.Eval |
| splitCommand | Cryptol.REPL.Command |
| splitConstFactor | Cryptol.TypeCheck.Solver.Utils |
| splitConstSummand | Cryptol.TypeCheck.Solver.Utils |
| splitProofAbs | Cryptol.TypeCheck.AST |
| splitSeqMap | Cryptol.Eval.Value |
| splitSum | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| splitTAbs | Cryptol.TypeCheck.AST |
| splitVarSummand | Cryptol.TypeCheck.Solver.Utils |
| splitVarSummands | Cryptol.TypeCheck.Solver.Utils |
| splitWhile | Cryptol.TypeCheck.AST |
| splitWord | Cryptol.Eval.Value |
| splitWordVal | Cryptol.Prims.Eval |
| sProps | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| start | Cryptol.Parser.Position |
| 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 | |
| 1 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
| 2 (Type/Class) | Cryptol.TypeCheck.Subst |
| substBinds | Cryptol.TypeCheck.Subst |
| substToList | Cryptol.TypeCheck.Subst |
| succeed | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Supply | Cryptol.ModuleSystem.Name |
| SupplyT | Cryptol.ModuleSystem.Name |
| sVars | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| SWord | Cryptol.Symbolic.Value |
| Sym | Cryptol.Parser.Lexer |
| SymbolShadowed | Cryptol.ModuleSystem.Renamer |
| SysName | Cryptol.TypeCheck.Solver.Numeric.AST |