tail

abstract val tail: Term

The rest of this list: either another Cons, an EmptyList, or an arbitrary Term for a partial list.