open Types
open Value

type table
type t = table

type size = address
type offset = address

exception Type
exception Bounds
exception SizeOverflow
exception SizeLimit
exception OutOfMemory

val alloc : tabletype -> ref_ -> table (* raises Type, OutOfMemory *)
val type_of : table -> tabletype
val addrtype_of : table -> addrtype
val size : table -> size
val addr_of_num : num -> address
val grow : table -> size -> ref_ -> unit
  (* raises SizeOverflow, SizeLimit, OutOfMemory *)

val load : table -> address -> ref_ (* raises Bounds *)
val store : table -> address -> ref_ -> unit (* raises Type, Bounds *)
val blit : table -> address -> ref_ list -> unit (* raises Bounds *)