val exists : unit -> bool
exists()
returns true if the current naming context renamed an identifier to avoid a name collision
type explanation = {
kind : namespace;
name : string;
location : Location.t;
}
val take : unit -> explanation list
val pp : Stdlib.Format.formatter -> explanation list -> unit
val print : Stdlib.Format.formatter -> unit
val reset : unit -> unit