module Variable: Id.Generator
Variables are represented by unique identifiers.
include Id.T
The values generated are unique identifiers.
type
A source of fresh identifiers.
val new_generator : unit -> generator
A new fresh identifier generator.
val fresh : generator -> t
An identifier not previously produced by the generator.
val count : generator -> int
The number of identifiers produced by this generator.
val iter : (t -> unit) -> generator -> unit
Iterate over all identifiers produced by the generator.
val fold : ('a -> t -> 'a) -> 'a -> generator -> 'a
Fold over all identifiers produced by the generator.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.