Z3 |

### - n -

- Name : FuncDecl, Sort
- Names : ParamDescrs
- Nil : ListSort
- NilDecl : ListSort
- NoPatterns : Quantifier
- NumArgs : Expr, FuncInterp.Entry
- NumAssertions : Solver
- NumBound : Lambda, Quantifier
- NumConstructors : DatatypeSort
- NumConsts : Model
- NumEntries : FuncInterp
- Numerator : RatNum
- NumExprs : Goal
- NumFields : Constructor, TupleSort
- NumFuncs : Model
- NumNoPatterns : Quantifier
- NumParameters : FuncDecl
- NumPatterns : Quantifier
- NumProbes : Context
- NumScopes : Solver
- NumSorts : Model
- NumSubgoals : ApplyResult
- NumTactics : Context
- NumTerms : Pattern