Module Nameops.Fresh

type t
val empty : t
val add : Names.Id.t -> t -> t
val remove : Names.Id.t -> t -> t
val mem : Names.Id.t -> t -> bool
val next : Names.Id.t -> t -> Names.Id.t
val fresh : Names.Id.t -> t -> Names.Id.t * t
val of_list : Names.Id.t list -> t
val of_set : Names.Id.Set.t -> t
val of_named_context_val : Environ.named_context_val -> t
val max_map : t -> Subscript.t Names.Id.Map.t