Function CONS

The function {tt cons} adds the object specified as its first argument to the front of the list specified as its second argument.
Arity: 3
Axioms:
(Nth-Domain Cons 3 List)

(Nth-Domain Cons 2 List)

(=> (Cons ?X ?List ?New-List)
    (And (= ?List (Listof @L)) (= ?New-List (Listof ?X @L))))