Name

size — Returns the number of arguments of the term t.

Synopsis

integer size ( term  TERM );

Parameters

term TERM

Return

integer

Size of the term