Module Env.Scope

type t
type rename
type on_conflict =
  1. | Error
  2. | Shadow
  3. | Rename
val mk_rename : 'acc -> ('acc -> Dolmen_std.Name.t -> 'acc * Dolmen_std.Name.t) -> rename
val empty : rename:rename -> sanitize:(Id.t -> Dolmen_std.Name.t -> Dolmen_std.Name.t) -> on_conflict: (prev_id:Id.t -> new_id:Id.t -> name:Dolmen_std.Name.t -> on_conflict) -> t
val bind : t -> Id.t -> t
val name : t -> Id.t -> Dolmen_std.Name.t