sig
  val unification :
    Format.formatter ->
    term1:Dalton_aux.printing ->
    term2:Dalton_aux.printing -> explanation:Dalton_aux.printing -> unit
  val cycle :
    Format.formatter ->
    variable:Dalton_aux.printing -> term:Dalton_aux.printing -> unit
  val incompatible :
    Format.formatter ->
    term1:Dalton_aux.printing -> term2:Dalton_aux.printing -> unit
  val ldestr : Format.formatter -> term:Dalton_aux.printing -> unit
  val rdestr : Format.formatter -> term:Dalton_aux.printing -> unit
  val inequality :
    Format.formatter ->
    lb:Dalton_aux.printing -> ub:Dalton_aux.printing -> unit
  val incompatible_schemes :
    Format.formatter ->
    scheme1:Dalton_aux.printing ->
    scheme2:Dalton_aux.printing -> explanation:Dalton_aux.printing -> unit
  val missing_desc :
    Format.formatter ->
    scheme:Dalton_aux.printing ->
    variable:Dalton_aux.printing -> term:Dalton_aux.printing -> unit
  val missing_constraint :
    Format.formatter ->
    scheme:Dalton_aux.printing -> constrain:Dalton_aux.printing -> unit
  val missing_bound :
    Format.formatter ->
    scheme:Dalton_aux.printing ->
    constrain:Dalton_aux.printing ->
    explanation:Dalton_aux.printing option -> unit
  val minimal :
    Format.formatter ->
    scheme:Dalton_aux.printing -> variables:Dalton_aux.printing -> unit
end