Attribute Macro hacspec_lib::prelude::hacspec_unsafe

source · [−]
#[hacspec_unsafe]