Up – Package index » rocq-runtime » Library rocq-runtime.engine » Namegen » Generator

Module `Namegen.Generator`Source

Sourcetype 'a t

Sourcetype 'a input = 'a t * 'a

Sourceval fresh : Nameops.Fresh.t t

Sourceval idset : Names.Id.Set.t t

Sourceval next_name_away : 'a t -> Names.Name.t -> 'a -> Names.Id.t * 'a

Sourceval max_map : 'a t -> 'a -> Nameops.Subscript.t Names.Id.Map.t