hax-bounded-integers 0.4.2
“Newtypes for working with bounded integers with hax”
Source references XOR syntaxRust test marker or harness
SHA-25649efeee651895df0cc8cf5192a1bd61d6f19cfee5fff7caa3f94ffef4cd692f3
MaleculeH₂(CmDb₂)Md(Pa)