| Name | What4.Protocol.SMTLib2.Syntax |
| namedTerm | What4.Protocol.SMTLib2.Syntax |
| nameResult | What4.Protocol.SMTLib2 |
| natAdd | What4.Interface |
| natBounds | What4.Interface |
| NatCaseEQ | What4.BaseTypes, What4.Interface |
| NatCaseGT | What4.BaseTypes, What4.Interface |
| NatCaseLT | What4.BaseTypes, What4.Interface |
| NatCases | What4.BaseTypes, What4.Interface |
| natCheckEq | What4.Utils.AbstractDomains |
| natCheckLe | What4.Utils.AbstractDomains |
| NatComparison | What4.BaseTypes, What4.Interface |
| NatDiv | What4.Expr.Builder, What4.Expr |
| natDiv | What4.Interface |
| NatEQ | What4.BaseTypes, What4.Interface |
| natEq | What4.Interface |
| NatExpr | What4.Expr.Builder, What4.Expr |
| natForEach | What4.BaseTypes, What4.Interface |
| natFromZero | What4.BaseTypes, What4.Interface |
| NatGT | What4.BaseTypes, What4.Interface |
| NatIndexLit | What4.IndexLit, What4.Interface, What4.Expr.Builder |
| natIte | What4.Interface |
| natLe | What4.Interface |
| NatLeFn | What4.Expr.MATLAB |
| natLit | What4.Interface |
| NatLT | What4.BaseTypes, What4.Interface |
| natLt | What4.Interface |
| NatMod | What4.Expr.Builder, What4.Expr |
| natMod | What4.Interface |
| natMul | What4.Interface |
| natMultiply | What4.BaseTypes, What4.Interface |
| NatMultiRange | What4.Utils.AbstractDomains, What4.Interface |
| natRange | What4.Utils.AbstractDomains |
| natRangeAdd | What4.Utils.AbstractDomains |
| natRangeDiv | What4.Utils.AbstractDomains |
| natRangeHigh | What4.Utils.AbstractDomains |
| natRangeJoin | What4.Utils.AbstractDomains |
| natRangeLow | What4.Utils.AbstractDomains |
| natRangeMin | What4.Utils.AbstractDomains |
| natRangeMod | What4.Utils.AbstractDomains |
| natRangeMul | What4.Utils.AbstractDomains |
| natRangeScalarMul | What4.Utils.AbstractDomains |
| natRangeSub | What4.Utils.AbstractDomains |
| natRangeToRange | What4.Utils.AbstractDomains |
| natRec | What4.BaseTypes, What4.Interface |
| natRecBounded | What4.BaseTypes, What4.Interface |
| natRecStrong | What4.BaseTypes, What4.Interface |
| NatRepr | What4.BaseTypes, What4.Interface |
| NatSeqFn | What4.Expr.MATLAB |
| NatSingleRange | What4.Utils.AbstractDomains, What4.Interface |
| natSingleRange | What4.Utils.AbstractDomains |
| natSub | What4.Interface |
| natSum | What4.Expr.Builder |
| NatToInteger | What4.Expr.Builder, What4.Expr |
| natToInteger | What4.Interface |
| NatToIntegerFn | What4.Expr.MATLAB |
| natToReal | What4.Interface |
| NatTypeMap | What4.Protocol.SMTWriter |
| natValue | What4.BaseTypes, What4.Interface |
| NatValueRange | What4.Utils.AbstractDomains, What4.Interface |
| neg | What4.Expr.UnaryBV |
| negate | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.Utils.BVDomain.Arith |
| 3 (Function) | What4.Utils.BVDomain |
| negatePolarity | What4.Expr.BoolMap, What4.Expr.Builder |
| negateRange | What4.Utils.AbstractDomains |
| Negative | What4.Expr.BoolMap, What4.Expr.Builder, What4.Expr.VarIdentification |
| NeverUnfold | What4.Interface |
| newConnection | What4.Solver.Yices |
| newDefaultWriter | What4.Protocol.SMTLib2 |
| newExprBuilder | What4.Expr.Builder, What4.Expr |
| newIdxCache | What4.Expr.Builder |
| newWriter | What4.Protocol.SMTLib2 |
| newWriterConn | What4.Protocol.SMTWriter |
| nextMultiple | What4.Utils.Arithmetic |
| nextPow2Multiple | What4.Utils.Arithmetic |
| NoErr | What4.Partial |
| noFeatures | What4.ProblemFeatures |
| NonceApp | What4.Expr.Builder, What4.Expr |
| NonceAppExpr | |
| 1 (Data Constructor) | What4.Expr.Builder, What4.Expr |
| 2 (Type/Class) | What4.Expr.Builder, What4.Expr |
| nonceAppType | What4.Expr.Builder |
| nonceExprApp | What4.Expr.Builder, What4.Expr |
| nonceExprId | What4.Expr.Builder, What4.Expr |
| nonceExprLoc | What4.Expr.Builder, What4.Expr |
| nonempty | What4.Utils.BVDomain.Bitwise |
| NonlinearArithTheory | What4.Expr.AppTheory, What4.Expr |
| NonZeroNat | What4.BaseTypes, What4.Interface |
| not | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.Utils.BVDomain.Arith |
| 3 (Function) | What4.Utils.BVDomain.Bitwise |
| 4 (Function) | What4.Utils.BVDomain |
| notExpr | What4.Protocol.SMTWriter |
| NotPred | What4.Expr.Builder, What4.Expr |
| notPred | What4.Interface |
| null | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Utils.LeqMap |
| 3 (Function) | What4.Utils.Word16String |
| 4 (Function) | What4.Expr.ArrayUpdateMap |
| nullAcknowledgementAction | What4.Protocol.SMTWriter, What4.Protocol.SMTLib2 |
| nullProd | What4.Expr.WeightedSum |
| numeral | What4.Protocol.SMTLib2.Syntax |