| S | Cryptol.TypeCheck.Subst |
| sanitize | Cryptol.REPL.Command |
| Sat | Cryptol.TypeCheck.Solver.CrySAT |
| 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.AST |
| seedGoal | Cryptol.TypeCheck.Monad |
| seedTVar | Cryptol.TypeCheck.Monad |
| Selector | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| selectV | Cryptol.Symbolic.Prims |
| Semi | Cryptol.Parser.Lexer |
| semi | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| setPutStr | Cryptol.REPL.Monad |
| setSearchPath | Cryptol.REPL.Monad |
| setSpecCache | Cryptol.Transform.Specialize |
| setUpdateREPLTitle | Cryptol.REPL.Monad |
| setUser | Cryptol.REPL.Monad |
| sExp | Cryptol.Symbolic.Prims |
| shadowing | |
| 1 (Function) | Cryptol.ModuleSystem.Interface |
| 2 (Function) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| ShellArg | Cryptol.REPL.Command |
| ShiftL | Cryptol.Parser.Lexer |
| shiftLS | Cryptol.Prims.Eval |
| shiftLW | Cryptol.Prims.Eval |
| ShiftR | Cryptol.Parser.Lexer |
| shiftRS | Cryptol.Prims.Eval |
| shiftRW | Cryptol.Prims.Eval |
| shouldContinue | Cryptol.REPL.Monad |
| SignatureNoBind | Cryptol.Parser.NoPat |
| simpDelayed | Cryptol.TypeCheck.Solver.Smtlib |
| simpFin | Cryptol.TypeCheck.Solver.Numeric |
| simplifyAllConstraints | Cryptol.TypeCheck.Solve |
| simpMonoBind | Cryptol.TypeCheck.Infer |
| simpType | Cryptol.TypeCheck.Solver.Eval |
| singleSubst | Cryptol.TypeCheck.Subst |
| singletonE | Cryptol.ModuleSystem.NamingEnv |
| singletonT | Cryptol.ModuleSystem.NamingEnv |
| sizedText | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| sLg2 | Cryptol.Symbolic.Prims |
| smallest | Cryptol.TypeCheck.Infer |
| Smoke | Cryptol.REPL.Monad |
| smokeTest | Cryptol.REPL.Monad |
| smtMode | Cryptol.Symbolic |
| Solved | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| solveHasGoal | Cryptol.TypeCheck.Monad |
| SomeSat | Cryptol.Symbolic |
| source | Cryptol.Parser.Position |
| Space | Cryptol.Parser.Lexer |
| space | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| splitMins | Cryptol.TypeCheck.Solver.Utils |
| splitProofAbs | Cryptol.TypeCheck.AST |
| splitTAbs | Cryptol.TypeCheck.AST |
| splitVarSummand | Cryptol.TypeCheck.Solver.Utils |
| splitVarSummands | Cryptol.TypeCheck.Solver.Utils |
| splitWhile | Cryptol.TypeCheck.AST |
| sProps | Cryptol.TypeCheck.AST |
| srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| start | Cryptol.Parser.Position |
| stop | Cryptol.REPL.Monad |
| Str | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| StrLit | Cryptol.Parser.Lexer |
| Style | |
| 1 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| style | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| SType | Cryptol.TypeCheck.AST |
| sType | Cryptol.TypeCheck.AST |
| Subst | Cryptol.TypeCheck.Subst |
| substToList | Cryptol.TypeCheck.Subst |
| suDefaulting | Cryptol.TypeCheck.Subst |
| suMap | Cryptol.TypeCheck.Subst |
| sVars | Cryptol.TypeCheck.AST |
| SWord | Cryptol.Symbolic.Value |
| Sym | Cryptol.Parser.Lexer |
| SymbolShadowed | Cryptol.ModuleSystem.Renamer |