blob: 5eb0c0e56e7010d8115a023ce5ee5d68d8a1da57 [file] [log] [blame] [edit]
open Values
type elem
type t = elem
val alloc : ref_ list -> elem
val size : elem -> Table.size
val load : elem -> Table.index -> ref_
val drop : elem -> unit