Draft: Add properties is_unique and is_exhaustive
Implement properties about the mapping guarantees. Those might be useful to design special algorithms or to check whether a fast implementation is possible at all.
Implement properties about the mapping guarantees. Those might be useful to design special algorithms or to check whether a fast implementation is possible at all.