Printtyp.Conflicts
val exists : unit -> bool
type explanation = {
kind : namespace;
name : string;
root_name : string;
location : Location.t;
}
val list_explanations : unit -> explanation list
val print_located_explanations : Format.formatter -> explanation list -> unit
val print_explanations : Format.formatter -> unit
val reset : unit -> unit