class All: Substituting Constructors <init> constructor(list: List, unifier: Unifier) Parameters Name Description list: List unifier: Unifier