nat_mod

hacspec_lib::hacspec_helper

Attribute Macro nat_mod 

Source 
#[nat_mod]
Expand description

This has to come from the lib.