A unifier maintains a graph whose vertices are equivalence classes of variables. With each equivalence class, a piece of information of type
data is attached.
data is a synonym for
variable structure. So, the data attached with an equivalence class of variables is a structure whose children are variables.