avm-data-store (cargo): Definition of the AVM DataStore trait
Keywords: webassembly|fluence|air|programming-language|interpreter|pi-calculus