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