Safe Haskell	Safe

Unification

Documentation

type UP = [(Type, Type)] Source #

unify :: UP -> TSub Source #