Surface AST JSON (Prototype) The ReScript prototype can emit a JSON representation of the surface AST. Run just dump-ast tests/vectors/module0-basic.a2ml Notes This JSON format is not stable and is for prototyping the Idris translator.