Module `Out_type.Ident_names`

Disambiguation for identifiers, e.g. the two type constructors named t in the type of f in

  type t = A
  module M = struct
    type t = B
   let f A = B
  end

should be disambiguated to t/2->t

val enable : bool -> unit

When contextual names are enabled, the mapping between identifiers and names is ensured to be one-to-one.

val with_fuzzy : Ident.t -> (unit -> 'a) -> 'a

with_fuzzy id f locally disable ident disambiguation for id within f