hacspec_lib::hacspec_helper

Attribute Macro nat_mod

Source 
#[nat_mod]
Expand description

This has to come from the lib.