Generics.RepLib.Unify

data Proxy a

type UnifyError

type UM n a b

data UnifySubD n a b

data UConstraint n a

data UnificationState n a

class Unify n a b

unifyStepR1

addConstraintsRL1

unifyStepEq

dequeueConstraint

queueConstraint

extendSubstitution

solveUnification

solveUnification'

class HasVar a b

class Subst a t t'

substR1

class Occurs n a b

occursCheckR1