| T | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2 |
| take | What4.Utils.Word16String |
| teeInputStream | What4.Utils.HandleReader |
| teeOutputStream | What4.Utils.HandleReader |
| Term | |
| 1 (Type/Class) | What4.Protocol.SMTLib2.Parse |
| 2 (Type/Class) | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2 |
| 3 (Type/Class) | What4.Protocol.SMTWriter |
| termIntegerToReal | What4.Protocol.SMTWriter |
| termRealToInteger | What4.Protocol.SMTWriter |
| term_app | What4.Protocol.SMTLib2.Syntax |
| testBit | |
| 1 (Function) | What4.Utils.BVDomain.Bitwise |
| 2 (Function) | What4.Utils.BVDomain |
| testBitBV | What4.Interface |
| TestEquality | What4.BaseTypes, What4.Interface |
| testEquality | What4.BaseTypes, What4.Interface |
| testExprSymFnEq | What4.Expr.App |
| testLeq | What4.BaseTypes, What4.Interface |
| testNatCases | What4.BaseTypes, What4.Interface |
| testSolverFnEq | What4.Expr.MATLAB |
| testStrictLeq | What4.BaseTypes, What4.Interface |
| textPPExpr | What4.Expr.App |
| Tm | What4.Expr.WeightedSum |
| toBaseTypeRepr | What4.Utils.OnlyIntRepr |
| toDescList | What4.Utils.LeqMap |
| toIncrHash | What4.Utils.IncrHash |
| toIncrHashWithSalt | What4.Utils.IncrHash |
| toInt | What4.Protocol.SMTLib2.Syntax |
| toLEByteString | What4.Utils.Word16String |
| toList | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Utils.LeqMap |
| 3 (Function) | What4.Expr.ArrayUpdateMap |
| 4 (Function) | What4.Expr.StringSeq |
| toMap | What4.Expr.ArrayUpdateMap |
| toNativeProperty | Test.Verification |
| toReal | What4.Protocol.SMTLib2.Syntax |
| toRoundMode | What4.Utils.FloatHelpers |
| toSigned | What4.BaseTypes, What4.Interface |
| toUnsigned | What4.BaseTypes, What4.Interface |
| transformSum | What4.Expr.WeightedSum |
| traverseApp | What4.Expr.App, What4.Expr.Builder |
| traverseArrayResultWrapper | What4.Expr.App |
| traverseArrayResultWrapperAssignment | What4.Expr.App |
| traverseArrayUpdateMap | What4.Expr.ArrayUpdateMap |
| traverseBVOrSet | What4.Expr.App, What4.Expr.Builder |
| traverseCoeffs | What4.Expr.WeightedSum |
| traverseMatlabSolverFn | What4.Expr.MATLAB |
| traverseMaybeWithKey | What4.Utils.AnnotatedMap |
| traversePreds | What4.Expr.UnaryBV |
| traverseProdVars | What4.Expr.WeightedSum |
| traverseSatResult | What4.SatResult, What4.Solver |
| traverseStringSeq | What4.Expr.StringSeq |
| traverseVars | |
| 1 (Function) | What4.Expr.BoolMap |
| 2 (Function) | What4.Expr.WeightedSum |
| true | What4.Protocol.SMTLib2.Syntax |
| truePred | What4.Interface |
| trunc | What4.Expr.UnaryBV |
| tryComplexSqrt | What4.Utils.Complex |
| tryEvalGroundExpr | What4.Expr.GroundEval |
| tryIntSqrt | What4.Utils.Arithmetic |
| tryMagnitude | What4.Utils.Complex |
| tryRationalSqrt | What4.Utils.Arithmetic |
| trySetOpt | What4.Config |
| typeDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| TypeMap | What4.Protocol.SMTWriter |
| typeMap | What4.Protocol.SMTWriter |
| typeTheory | What4.Expr.AppTheory |