air-interpreter-data (cargo): Data format of the AIR interpreter
Keywords: webassembly|fluence|air|programming-language|interpreter|pi-calculus