class SkippingLast: Substituting Constructors <init> constructor(list: List, unifier: Unifier) Parameters Name Description list: List unifier: Unifier Methods hasNext fun hasNext(): Boolean ReturnValue Name Description Boolean onEmptyList fun onEmptyList(item: EmptyList): Term Parameters Name Description item: EmptyList ReturnValue Name Description Term