Mavryk_webassembly_interpreter.Global
type global
type t = global
exception Type
exception NotMutable
val alloc : Types.global_type -> Values.value -> global
val type_of : global -> Types.global_type
val load : global -> Values.value
val store : global -> Values.value -> unit