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