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
.