Namegen.Generator
type 'a t
type 'a input = 'a t * 'a
val fresh : Nameops.Fresh.t t
val idset : Names.Id.Set.t t
val next_name_away : 'a t -> Names.Name.t -> 'a -> Names.Id.t * 'a
val max_map : 'a t -> 'a -> Nameops.Subscript.t Names.Id.Map.t