Attribute Macro hacspec_lib::prelude::in_hacspec

#[in_hacspec]

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.