include Interpret_intf.P
with type Env.t = Concrete_value.Func.extern_func Link_env.t
and type Module_to_run.t =
Concrete_value.Func.extern_func Link.module_to_run
and type 'a Choice.t = 'a
and module Value = Vmodule Value = Vmodule Choice : Choice_intf.Base with module V := Value with type 'a t = 'aval select :
Value.vbool ->
if_true:Value.t ->
if_false:Value.t ->
Value.t Choice.tmodule Extern_func :
Func_intf.T_Extern_func
with type int32 := Value.int32
and type int64 := Value.int64
and type float32 := Value.float32
and type float64 := Value.float64
and type 'a m := 'a Choice.tmodule Global : sig ... endmodule Table : sig ... endmodule Memory : sig ... endmodule Data : sig ... endmodule Elem : sig ... endmodule Env : sig ... endmodule Module_to_run : sig ... end