Z3 |

### - s -

- SBits : FPExpr, FPSort
- Sign : FPNum
- SignBV : FPNum
- Significand : FPNum
- SignificandBV : FPNum
- SignificandUInt64 : FPNum
- SimplifyParameterDescriptions : Context
- Size : ASTVector, BitVecSort, FiniteDomainSort, Goal, ParamDescrs, Statistics
- Solver : Tactic
- Solver_DRQ : Context
- Sort : Expr, FuncDecl.Parameter
- SortKind : Sort
- Sorts : Model
- SortSize : BitVecExpr
- Statistics : Fixedpoint, Optimize, Solver
- Statistics_DRQ : Context
- String : Expr, StringSymbol
- StringSort : Context
- Subgoals : ApplyResult
- Symbol : FuncDecl.Parameter