hax_lib

Module int

Source

Macros§

implement_abstraction 🔒
implement_concretize 🔒

Structs§

Int

Traits§

Abstraction
Concretization
ToInt