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 *)