open Types
open Values
type global
type t = global
exception Type
exception NotMutable
val alloc : global_type -> value -> global (* raises Type *)
val type_of : global -> global_type
val load : global -> value
val store : global -> value -> unit (* raises Type, NotMutable *)