Module `Logtk.Unif_intf`

Interface for unification

type unif_subst = Unif_subst.t
type subst = Subst.t

module type S = sig ... end