is_numeral : term -> bool
- SYNOPSIS
-
Tests if a term is a natural number numeral.
- DESCRIPTION
-
When applied to a term, is_numeral returns true if and only if the term is
a canonical natural number numeral (0, 1, 2 etc.)
- FAILURE CONDITIONS
-
Never fails.
- SEE ALSO
-
dest_numeral, is_numeral.