owi
Concrete.Global
type t
val value : t -> Value.t
val set_value : t -> Value.t -> unit
val mut : t -> Types.mut
val typ : t -> Types.simplified Types.val_type