type opt_exports = {global : opt_export list;mem : opt_export list;table : opt_export list;func : opt_export list;}type type_check = Types.text Types.indice * Types.text Types.func_typetype t = {id : string option;typ : Types.text Types.type_def list;function_type : Types.text Types.func_type list;type_checks : type_check list;global : (Text.global, Types.simplified Types.global_type) Runtime.t Indexed.t
list;table : (Types.simplified Types.table, Types.simplified Types.table_type)
Runtime.t
Indexed.t
list;mem : (Types.mem, Types.limits) Runtime.t Indexed.t list;func : (Types.text Types.func, Types.text Types.block_type) Runtime.t Indexed.t
list;elem : Text.elem Indexed.t list;data : Text.data Indexed.t list;exports : opt_exports;start : Types.text Types.indice option;}val of_symbolic : Text.modul -> t Result.t