Folly.Unification

type Unifier

applyUnifier

mostGeneralUnifier

unifier