hax 内部类型

一个crate，定义了由crate hax-lib-macros产生的各种属性负载的类型，并由hax的引擎内部使用。