type_integer/1

Description

type_integer/1 is a predicate that checks if the given term is an integer.

Signature

integer(@Term)

Where:

• Term is the term to check.