Owi.Link_envtype t' = Env_id.ttype func := Func_intf.tval get_memory : _ t -> int -> Concrete_memory.tval get_table : _ t -> int -> Concrete_table.tval get_global : _ t -> int -> Concrete_global.tval drop_elem : elem -> unitval drop_data : data -> unitmodule Build : sig ... endtype extern_funcs = Concrete_value.Func.extern_func Func_id.collectionval freeze : t' -> Build.t -> 'ext Func_id.collection -> 'ext tmodule type T = sig ... endmodule type P = sig ... end