type t = Extern_func.extern_func Link_env.ttype t' = Env_id.tval get_memory :
'a Link_env.t ->
int ->
Symbolic_memory.t Symbolic_choice.Minimalist.tval get_func : 'a Link_env.t -> int -> Func_intf.tval get_extern_func : 'a Link_env.t -> Func_id.t -> 'aval get_table :
t ->
Symbolic_table.ITbl.key ->
Table.t Symbolic_choice.Minimalist.tval get_elem : 'a Link_env.t -> int -> Link_env.elemval get_data :
'a Link_env.t ->
int ->
Link_env.data Symbolic_choice.Minimalist.tval get_global : t -> int -> Global.t Symbolic_choice.Minimalist.tval drop_data : Link_env.data -> unit