| Sad | Language.Fixpoint.Misc |
| Safe | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| safe | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| safeFromList | Language.Fixpoint.Misc |
| safeHead | Language.Fixpoint.Misc |
| safeInit | Language.Fixpoint.Misc |
| safeLast | Language.Fixpoint.Misc |
| safeLookup | Language.Fixpoint.Misc |
| safePos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| safeSourcePos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| safeUncons | Language.Fixpoint.Misc |
| safeUnsnoc | Language.Fixpoint.Misc |
| safeZip | Language.Fixpoint.Misc |
| safeZipWith | Language.Fixpoint.Misc |
| sanitize | Language.Fixpoint.Solver.Sanitize |
| Sat | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| save | Language.Fixpoint.Types.Config |
| Saved | Language.Fixpoint.Utils.Files |
| savePrettifiedQuery | Language.Fixpoint.Solver.Prettify |
| saveQuery | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| SBitVec | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| SBool | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| sccsWith | Language.Fixpoint.Misc |
| Scrape | Language.Fixpoint.Types.Config |
| scrape | Language.Fixpoint.Types.Config |
| SData | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| SE | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| seAppls | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| sEbd | Language.Fixpoint.Types.Solutions |
| seBinds | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| secondM | Language.Fixpoint.Misc |
| seData | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| seLits | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| Sem | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| semi | |
| 1 (Function) | Text.PrettyPrint.HughesPJ.Compat |
| 2 (Function) | Language.Fixpoint.Parse |
| sendConcreteBindingsToSMT | Language.Fixpoint.Solver.Monad |
| SEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| sEnv | Language.Fixpoint.Types.Solutions |
| senv | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| sep | Text.PrettyPrint.HughesPJ.Compat |
| seqs | Language.Fixpoint.Utils.Builder |
| SESearch | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| seSort | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| setAdd | Language.Fixpoint.Smt.Theories |
| setApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| setCap | Language.Fixpoint.Smt.Theories |
| setCom | Language.Fixpoint.Smt.Theories |
| setConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| setCup | Language.Fixpoint.Smt.Theories |
| setDif | Language.Fixpoint.Smt.Theories |
| setEmp | Language.Fixpoint.Smt.Theories |
| setEmpty | Language.Fixpoint.Smt.Theories |
| setFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| seTheory | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| setLayout | Language.Fixpoint.Parse |
| SetMbqi | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| setMem | Language.Fixpoint.Smt.Theories |
| setNub | Language.Fixpoint.Misc |
| setSng | Language.Fixpoint.Smt.Theories |
| setSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| setSub | Language.Fixpoint.Smt.Theories |
| setToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| ShareMap | Data.ShareMap |
| shiftVV | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| showFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| showpp | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| showTable | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| sHyp | Language.Fixpoint.Types.Solutions |
| SI | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| sid | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| siDeps | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| SimpC | |
| 1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Simplifiable | Language.Fixpoint.Solver.Interpreter |
| simplify | |
| 1 (Function) | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| 2 (Function) | Language.Fixpoint.Solver.Interpreter |
| 3 (Function) | Language.Fixpoint.Solver.PLE |
| simplifyBindings | Language.Fixpoint.Solver.EnvironmentReduction |
| simplifyBooleanRefts | Language.Fixpoint.Solver.EnvironmentReduction |
| simplifyFInfo | Language.Fixpoint.Solver |
| SInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| sinfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| sinfoToFInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| singList | Language.Fixpoint.Parse |
| SInt | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| siQuery | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| siSol | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| siVars | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| size | Language.Fixpoint.Types.Visitor |
| sizeBv | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types, Language.Fixpoint.Smt.Theories |
| sizedBitVecSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| sizedText | Text.PrettyPrint.HughesPJ.Compat |
| sizeName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| SL | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| slConcCs | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| slEdges | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| slhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Slice | |
| 1 (Type/Class) | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| 2 (Data Constructor) | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| slice | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| slKVarCs | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| SMap | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| smArgs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| smBody | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| smDC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| SMeasure | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| smName | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Smt2 | Language.Fixpoint.Utils.Files |
| smt2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| smt2App | Language.Fixpoint.Smt.Theories |
| smt2SortMono | Language.Fixpoint.Smt.Serialize |
| smt2Symbol | Language.Fixpoint.Smt.Theories |
| smtAssert | Language.Fixpoint.Smt.Interface |
| smtAssertAxiom | Language.Fixpoint.Smt.Interface |
| smtBracket | Language.Fixpoint.Smt.Interface |
| smtBracketAt | Language.Fixpoint.Smt.Interface |
| smtCheckSat | Language.Fixpoint.Smt.Interface |
| smtCheckUnsat | Language.Fixpoint.Smt.Interface |
| smtDecl | Language.Fixpoint.Smt.Interface |
| smtDecls | Language.Fixpoint.Smt.Interface |
| smtDefineFunc | Language.Fixpoint.Smt.Interface |
| smtDistinct | Language.Fixpoint.Smt.Interface |
| smtEnablembqi | Language.Fixpoint.Solver.Monad |
| smtFuncDecl | Language.Fixpoint.Smt.Interface |
| SMTLIB2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| smtPop | Language.Fixpoint.Smt.Interface |
| smtPush | Language.Fixpoint.Smt.Interface |
| smtSetMbqi | Language.Fixpoint.Smt.Interface |
| SMTSolver | Language.Fixpoint.Types.Config |
| SmtSort | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| smtTimeout | Language.Fixpoint.Types.Config |
| snd3 | Language.Fixpoint.Misc |
| Sol | Language.Fixpoint.Types.Solutions |
| Solution | Language.Fixpoint.Types.Solutions |
| solve | |
| 1 (Function) | Language.Fixpoint.Solver.Solve |
| 2 (Function) | Language.Fixpoint.Solver |
| 3 (Function) | Language.Fixpoint.Horn.Solve |
| solveEbs | Language.Fixpoint.Horn.Transformations |
| solveFQ | Language.Fixpoint.Solver |
| solveGradual | Language.Fixpoint.Solver.GradualSolve |
| solveHorn | Language.Fixpoint.Horn.Solve |
| SolveM | Language.Fixpoint.Solver.Monad |
| Solver | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types, Language.Fixpoint.Solver |
| solver | Language.Fixpoint.Types.Config |
| SolverInfo | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| solverInfo | |
| 1 (Function) | Language.Fixpoint.Solver.Eliminate |
| 2 (Function) | Language.Fixpoint.Solver.Solve |
| SolverState | Language.Fixpoint.Solver.Monad |
| solverStats | Language.Fixpoint.Types.Config |
| Some | Language.Fixpoint.Types.Config |
| Sort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| sortAbs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| SortedReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| sortedReftConcKVars | Language.Fixpoint.Types.Utils, Language.Fixpoint.Types |
| sortedReftSymbols | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| sortExpr | Language.Fixpoint.SortCheck |
| sortFTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| sortNub | Language.Fixpoint.Misc |
| sortNubBy | Language.Fixpoint.Misc |
| sortP | Language.Fixpoint.Parse |
| sortSmtSort | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types, Language.Fixpoint.Smt.Theories |
| sortSubst | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| sortSymbols | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| sortVars | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| sourceColumn | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| sourceLine | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| SourceName | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| sourceName | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| SourcePos | |
| 1 (Type/Class) | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| sourcePosElts | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| space | Text.PrettyPrint.HughesPJ.Compat |
| spaces | Language.Fixpoint.Parse |
| Spec | Language.Fixpoint.Utils.Files |
| splitByQuantifiers | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| splitEApp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| splitEAppThroughECst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| splitPAnd | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| sp_start | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| sp_stop | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| srcFile | Language.Fixpoint.Types.Config |
| srcGradInfo | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| srcLine | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| SrcSpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| srcSpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| SReal | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| srhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| sr_reft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| sr_sort | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| SS | |
| 1 (Data Constructor) | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Solver.Monad |
| ssBinds | Language.Fixpoint.Solver.Monad |
| sScp | Language.Fixpoint.Types.Solutions |
| ssCtx | Language.Fixpoint.Solver.Monad |
| SSet | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| ssStats | Language.Fixpoint.Solver.Monad |
| SString | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| stag | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| startPhase | Language.Fixpoint.Misc |
| statistics | Language.Fixpoint.Utils.Statistics |
| Stats | |
| 1 (Type/Class) | Language.Fixpoint.Solver.Stats, Language.Fixpoint.Solver.Monad |
| 2 (Data Constructor) | Language.Fixpoint.Solver.Stats |
| 3 (Type/Class) | Language.Fixpoint.Solver.Worklist |
| stats | |
| 1 (Function) | Language.Fixpoint.Types.Config |
| 2 (Function) | Language.Fixpoint.Solver.Monad |
| stdin | Language.Fixpoint.Types.Config |
| Str | Text.PrettyPrint.HughesPJ.Compat |
| strConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| strengthenBinds | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| strengthenHyp | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| strFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| stringLiteral | Language.Fixpoint.Parse |
| stringTheory | Language.Fixpoint.Types.Config |
| stripCasts | Language.Fixpoint.Types.Visitor |
| stripPrefix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| stripSuffix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| strSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types, Language.Fixpoint.SortCheck |
| Style | |
| 1 (Type/Class) | Text.PrettyPrint.HughesPJ.Compat |
| 2 (Data Constructor) | Text.PrettyPrint.HughesPJ.Compat |
| style | Text.PrettyPrint.HughesPJ.Compat |
| Su | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Sub | |
| 1 (Type/Class) | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| Subable | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| SubC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| subC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| SubcId | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types, Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| subcId | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| SubExpr | Language.Fixpoint.Solver.Rewrite |
| subExprs | Language.Fixpoint.Solver.Rewrite |
| Subst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| subst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| subst1 | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| subst1Except | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
| substa | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| substExcept | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
| substf | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| substfExcept | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
| substSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| substSortInExpr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| substVars | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| succPos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| suffixOfSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| suffixSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| supply | Language.Fixpoint.Parse |
| SVar | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| sxEnv | Language.Fixpoint.Types.Solutions |
| Symbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolAtName | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| symbolAtSmtName | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| symbolBuilder | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolEnv | Language.Fixpoint.Solver.Sanitize |
| symbolFTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| Symbolic | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolicString | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolNumInfoFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| symbolP | Language.Fixpoint.Parse |
| symbolReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| symbolSafeString | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolSafeText | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolString | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symbolText | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| symChars | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| SymConst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| SymConsts | Language.Fixpoint.Types.Visitor |
| symConsts | Language.Fixpoint.Types.Visitor |
| SymEnv | |
| 1 (Type/Class) | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| symEnv | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| symEnvSort | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| symEnvTheory | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| syms | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |