Function LENGTH

The function constant {tt length} gives the number of items in a list.
Arity: 2
Domain: List
Range: Nonnegative-integer
Axioms:
(=> (Length ?List ?N)
    (= ?N
       (Cond ((Null ?List) 0)
             ((List ?List) (1+ (Length (Rest ?List)))))))