1 2 3 4 5 6 7 8 9
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