attributes

hacspec attributes

This crate holds implements hacspec attributes used only in the hacspec library as well as attributes that can be used in hacspecs.

Features

hacspec_unsafe

This is a default feature that enables the #[hacspec_unsafe] attribute. The #[hacspec_unsafe] attribute can be used to call Rust code from hacspec. A function with the #[hacspec_unsafe] attribute must have a signature within hacspec but can use Rust in its body. A function with #[hacspec_unsafe(outside)] is completely ignored by the hacspec typechecker.

print_attributes

This feature is used within the hacspec library to mark functions according to their language affiliation.

update_allowlist

This feature is used within the hacspec library.