Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
Add `encode_Z` function to encode element of countable type as `Z`.

See merge request iris/stdpp!145
1d9cb6c8
History
Name Last commit Last update