S | Cryptol.TypeCheck.Subst |
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.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 |
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 |
shiftLS | Cryptol.Prims.Eval |
shiftLW | 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 |
simpBind | Cryptol.TypeCheck.Infer |
simplifyAllConstraints | Cryptol.TypeCheck.Solve |
simplifyProps | Cryptol.TypeCheck.Solver.CrySAT |
simpType | Cryptol.TypeCheck.Solve |
simpTypeMaybe | Cryptol.TypeCheck.Solve |
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 |
Solved | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
solveHasGoal | Cryptol.TypeCheck.Monad |
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 |
splitSum | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
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 |
StrLit | Cryptol.Parser.Lexer |
SType | Cryptol.TypeCheck.AST |
sType | Cryptol.TypeCheck.AST |
Subst | |
1 (Type/Class) | Cryptol.TypeCheck.Subst |
2 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
substToList | Cryptol.TypeCheck.Subst |
suDefaulting | Cryptol.TypeCheck.Subst |
suMap | Cryptol.TypeCheck.Subst |
Supply | Cryptol.ModuleSystem.Name |
SupplyM | Cryptol.ModuleSystem.Name |
SupplyT | Cryptol.ModuleSystem.Name |
sVars | Cryptol.TypeCheck.AST |
SWord | Cryptol.Symbolic.Value |
Sym | Cryptol.Parser.Lexer |
SymbolShadowed | Cryptol.ModuleSystem.Renamer |
SysName | Cryptol.TypeCheck.Solver.Numeric.AST |