| Name | Data.SBV.Control |
| name | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| namedConstraint | Data.SBV.Internals, Data.SBV |
| NamedSymVar | Data.SBV.Internals |
| nameRe | Documentation.SBV.Examples.Strings.SQLInjection |
| nan | Data.SBV.Internals, Data.SBV |
| Nationality | Documentation.SBV.Examples.Puzzles.Fish |
| natToStr | Data.SBV.String |
| needsExistentials | Data.SBV.Internals |
| neg | Documentation.SBV.Examples.Uninterpreted.Shannon |
| Negate | Documentation.SBV.Examples.Queries.FourFours |
| newArray | Data.SBV.Internals, Data.SBV |
| newArray_ | Data.SBV.Internals, Data.SBV |
| newExpr | Data.SBV.Internals |
| newline | Data.SBV.RegExp |
| newSArr | Data.SBV.Dynamic |
| newUninterpreted | Data.SBV.Internals |
| Nil | Documentation.SBV.Examples.Uninterpreted.UISortAllSat |
| NodeId | |
| 1 (Type/Class) | Data.SBV.Internals |
| 2 (Data Constructor) | Data.SBV.Internals |
| nonDecreasing | Documentation.SBV.Examples.BitPrecise.MergeSort |
| None | Data.SBV.RegExp, Data.SBV.Internals |
| NonHomogeneous | Documentation.SBV.Examples.Existentials.Diophantine |
| nonZeroAddition | Documentation.SBV.Examples.Misc.Floating |
| normCW | Data.SBV.Internals |
| Norwegian | Documentation.SBV.Examples.Puzzles.Fish |
| Not | Data.SBV.Internals |
| not | Documentation.SBV.Examples.Uninterpreted.Deduce |
| notElem | Data.SBV.Char |
| NotEqual | Data.SBV.Internals |
| NoTiming | Data.SBV.Internals, Data.SBV |
| noWiggle | Documentation.SBV.Examples.Uninterpreted.Shannon |
| nQueens | Documentation.SBV.Examples.Puzzles.NQueens |
| null | Data.SBV.String |
| numerator | Data.SBV |