Module Make.Unification
module Subst : sig ... end
type error
=[
|
`Unification of Var.t option * t * t
|
`Occurs of Var.t * t
|
`Cycle of Subst.t
]
Errors returned when unification fails
Make.Unification
module Subst : sig ... end
type error
= [
| `Unification of Var.t option * t * t |
| `Occurs of Var.t * t |
| `Cycle of Subst.t |
]
Errors returned when unification fails