| name | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| nameWithInfo | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| nameWithLoc | Grisette.Core.Data.FileLocation, Grisette.Core, Grisette |
| NatRepr | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| natRepr | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| natValue | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| newSolver | Grisette.Core.Data.Class.Solver, Grisette.Core, Grisette |
| nextFreshIndex | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| NoApprox | Grisette.Backend.SBV.Data.SMT.Solving, Grisette.Backend.SBV, Grisette |
| nonBinaryConstantHandler | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| nonConstantHandler | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| NoStrategy | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| NoTiming | Grisette.Backend.SBV, Grisette |
| NotTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| notTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| NumConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Num, Grisette.Internal.IR.SymPrim |
| NumOrdConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Num, Grisette.Internal.IR.SymPrim |