Module Printtyp.Conflicts

The Conflicts module keeps track of conflicts arising when attributing names to identifiers and provides functions that can print explanations for these conflict in error messages

val exists : unit -> bool

exists() returns true if the current naming context renamed an identifier to avoid a name collision

type explanation = {
  1. kind : namespace;
  2. name : string;
  3. location : Location.t;
}
val take : unit -> explanation list
val pp : Format.formatter -> explanation list -> unit
val print : Format.formatter -> unit
val reset : unit -> unit