UTally
This tool was created to allow easily creating unique ids for types in both static and dynamic contexts. The ids are sequential, this is basically a tally counter.
Usage
Call [next] to acquire a new unique id.
let unique_id = next;
Using it in a static context
You can use [LazyTally] in order to assign ids to types or functions by using them in static contexts:
# use *;
A call to function_with_unique_id would always return the same unique id.