named exports of a module
type global = {typ : Types.simplified Types.global_type;init : Types.simplified Types.expr;id : string option;}type elem_mode = | Elem_passive| Elem_active of int option * Types.simplified Types.expr| Elem_declarativetype elem = {id : string option;typ : Types.simplified Types.ref_type;init : Types.simplified Types.expr list;mode : elem_mode;}type modul = {id : string option;global : (global, Types.simplified Types.global_type) Runtime.t Named.t;table : (Types.simplified Types.table, Types.simplified Types.table_type)
Runtime.t
Named.t;mem : (Types.mem, Types.limits) Runtime.t Named.t;func : (Types.simplified Types.func, Types.simplified Types.block_type)
Runtime.t
Named.t;elem : elem Named.t;data : data Named.t;exports : exports;start : int option;}val empty_modul : modulmodule Pp : sig ... end