Attribute Macro hacspec_attributes::hacspec_unsafe

source · [−]
#[hacspec_unsafe]