Add `encode_Z` function to encode element of countable type as `Z`.

This does not seem terribly useful, could you add a motivation to the MR description (so it gets recorded in the merge commit)?

The motivation is to encode string tags as integers in heaplang. Since that use case is rather Iris specific, I'm not sure it makes sense mentioning that in the changelog.

Note that we also have encode_nat, so by analogy why not have it for other common integer types.

Good point... I didn't know we had anything than the positive functions. Seems fine then. Maybe add "in analogy with encode_nat" to the description?

added 1 commit

• 94b04a14 - Add `encode_Z` function to encode element of countable type as `Z`.

Compare with previous version

Done.

mentioned in commit 1d9cb6c8

merged