Mavryk_webassembly_interpreter.Spectestval global : Types.global_type -> Global.globalval table : Table.tableval memory : Memory.memoryval print_value : Values.value -> unitval print : Host_funcs.host_funcval register_host_funcs : Host_funcs.registry -> unitval lookup : string -> Instance.extern