|Maintainer||Edward Kmett <firstname.lastname@example.org>|
A globally unique fresh identifier supply with local pooling and replay support.
A user managed globally unique variable supply.
Grab a new supply. Any two supplies obtained with newSupply are guaranteed to return disjoint sets of identifiers. Replaying the same sequence of operations on the same Supply will yield the same results.
Split a supply into two supplies that will return disjoint identifiers