| Name | What4.Protocol.SMTLib2.Syntax |
| namedTerm | What4.Protocol.SMTLib2.Syntax |
| nameResult | What4.Protocol.SMTLib2 |
| natAdd | What4.Interface |
| NatCaseEQ | What4.BaseTypes, What4.Interface |
| NatCaseGT | What4.BaseTypes, What4.Interface |
| NatCaseLT | What4.BaseTypes, What4.Interface |
| NatCases | What4.BaseTypes, What4.Interface |
| NatComparison | What4.BaseTypes, What4.Interface |
| natDiv | What4.Interface |
| NatEQ | What4.BaseTypes, What4.Interface |
| natEq | What4.Interface |
| natForEach | What4.BaseTypes, What4.Interface |
| natFromZero | What4.BaseTypes, What4.Interface |
| NatGT | What4.BaseTypes, What4.Interface |
| natIte | What4.Interface |
| natLe | What4.Interface |
| natLit | What4.Interface |
| NatLT | What4.BaseTypes, What4.Interface |
| natLt | What4.Interface |
| natMod | What4.Interface |
| natMul | What4.Interface |
| natMultiply | What4.BaseTypes, What4.Interface |
| natRec | What4.BaseTypes, What4.Interface |
| natRecBounded | What4.BaseTypes, What4.Interface |
| natRecStrong | What4.BaseTypes, What4.Interface |
| NatRepr | What4.BaseTypes, What4.Interface |
| natSub | What4.Interface |
| natToInteger | What4.Interface |
| natToReal | What4.Interface |
| natValue | What4.BaseTypes, What4.Interface |
| Ne | What4.Protocol.VerilogWriter.AST |
| 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.App, What4.Expr.Builder, What4.Expr |
| NonceAppExpr | |
| 1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| 2 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| NonceAppExprCtor | What4.Expr.App |
| nonceAppType | What4.Expr.App, What4.Expr.Builder |
| nonceExprAbsValue | What4.Expr.App |
| nonceExprApp | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| nonceExprId | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| nonceExprLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| nonempty | What4.Utils.BVDomain.Bitwise |
| NonlinearArithTheory | What4.Expr.AppTheory, What4.Expr |
| NonZeroNat | What4.BaseTypes, What4.Interface |
| Not | What4.Protocol.VerilogWriter.AST |
| 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.App, 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 |