trustfall-rustdoc

Trustfall adapters for various rustdoc JSON format versions