Module Sl_unify.Bidirectional

module Bidirectional: sig .. end

include Sl_unify.S

val updchk_inj_left : Sl_unify.Unidirectional.update_check -> update_check

val updchk_inj_right : Sl_unify.Unidirectional.update_check -> update_check

val unify_tag_constraints : ?total:bool -> ?update_check:update_check -> Ord_constraints.t unifier