Printtyp.Naming_context
val enable : bool -> unit
When contextual names are enabled, the mapping between identifiers and names is ensured to be one-to-one.