blob: d6144290773b3d06ee2180ddd819b43513e6eefa [file] [log] [blame] [edit]
open Value
type elem
type t = elem
exception Bounds
val alloc : ref_ list -> elem
val size : elem -> Table.size
val load : elem -> address -> ref_ (* raises Bounds *)
val drop : elem -> unit