hacspec 工具

此 crate 包含一组在其它 hacspec crate 中使用的工具。

在任何情况下都不需要在 hacspec 仓库外部使用此工具。