hacspec 属性

此crate包含用于 hacspec 库 的hacspec属性。

在hacspec仓库外不应有必要使用此crate。