module Value : Value_intf.Tmodule Choice : Choice_intf.Base with module V := Valueval 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