Module Ord_constraints.Elt

module Elt: sig .. end

include Utilsigs.BasicType

val tags : t -> Tags.t

val subst_tags : Tagpairs.t -> t -> t

val satisfiable : t Fun.predicate

val valid : t Fun.predicate

val unify : ?update_check:Tagpairs.t Unification.state_update Fun.predicate ->
       (Tagpairs.t, 'a, t) Unification.cps_unifier

val biunify : ?update_check:(Tagpairs.t * Tagpairs.t) Unification.state_update
                     Fun.predicate ->
       (Tagpairs.t * Tagpairs.t, 'a, t) Unification.cps_unifier