package owi
runtime global
type t = {mutable value : Concrete_value.t;label : string option;mut : Types.mut;typ : Types.simplified Types.val_type;
}val value : t -> Concrete_value.tval set_value : t -> Concrete_value.t -> unitval typ : t -> Types.simplified Types.val_type