Add some trivial but useful heaplang libraries.
These are used by the new Herlihy-Wing queue example, and I'm sure they will be useful to some other developments.
Note that the minimum and maximum spec come in two versions, one on Z
and one on nat
. The latter might be more useful when working with array indices which are often nat
. (That is the version I use in the HWQ example).