Attribute Macro hacspec_lib::prelude::unsafe_hacspec
source · [−]#[unsafe_hacspec]Expand description
This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec
#[unsafe_hacspec]This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec