module ErrorReport: Dalton_sig.ERROR_REPORT
The module ErrorReport provides standard error report messages.
val unification : Format.formatter ->
term1:(Format.formatter -> unit) ->
term2:(Format.formatter -> unit) ->
explanation:(Format.formatter -> unit) -> unit
val cycle : Format.formatter ->
variable:(Format.formatter -> unit) ->
term:(Format.formatter -> unit) -> unit
val incompatible : Format.formatter ->
term1:(Format.formatter -> unit) -> term2:(Format.formatter -> unit) -> unit
val minimal : Format.formatter ->
scheme:(Format.formatter -> unit) ->
variables:(Format.formatter -> unit) -> unit
val ldestr : Format.formatter -> term:(Format.formatter -> unit) -> unit
val rdestr : Format.formatter -> term:(Format.formatter -> unit) -> unit
val inequality : Format.formatter ->
lb:(Format.formatter -> unit) -> ub:(Format.formatter -> unit) -> unit
val incompatible_schemes : Format.formatter ->
scheme1:(Format.formatter -> unit) ->
scheme2:(Format.formatter -> unit) ->
explanation:(Format.formatter -> unit) -> unit
val missing_desc : Format.formatter ->
scheme:(Format.formatter -> unit) ->
variable:(Format.formatter -> unit) ->
term:(Format.formatter -> unit) -> unit
val missing_constraint : Format.formatter ->
scheme:(Format.formatter -> unit) ->
constrain:(Format.formatter -> unit) -> unit
val missing_bound : Format.formatter ->
scheme:(Format.formatter -> unit) ->
constrain:(Format.formatter -> unit) ->
explanation:(Format.formatter -> unit) option -> unit