Verus类型库
由 Jorian 拥有。
#5 in #verus
在 2 个crate中使用（通过 vrsc-rpc-json）
54KB 1K SLoC
这是一个Verus类型库。
~7MB ~86K SLoC