Crate hacspec_attributes

Attribute Macros

hacspec_unsafe

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.

not_hacspec

Function that is not part of the language but is offered as a helper for tests, etc.

unsafe_hacspec

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec