Attribute Macro hacspec_lib::hacspec_helper::nat_mod

source · 
#[nat_mod]
Expand description

This has to come from the lib.