[backend-prose] Missing interface files

Wasm-DSL / spectec

Wasm SpecTec specification tools

https://wasm-dsl.github.io/spectec/

Other

25 stars 8 forks source link

Open rossberg opened 5 months ago

rossberg commented 5 months ago

Please add missing mli files for backend modules.

f52985 commented 5 months ago

Yes, we are in the process of adding missing mli files. I'll keep this issue open until it's done.