Logger (astral.Astral_internal.RuleAntiunification.Logger)

val dump : (string -> 'a -> unit) -> string -> 'a -> unit

val warning : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val error : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a