val symbolic : string -> < string_indices : Types.yes.. > Types.indiceval raw : int -> < .. > Types.indiceval bt_ind : < raw_bt : Types.yes.. > as 'a Types.indice -> 'a Types.block_typeval bt_raw :
'b as 'a Types.indice option ->
('a Types.param_type * 'a Types.result_type) ->
'a Types.block_typeval pp_global : Format.formatter -> global -> Unit.ttype data_mode = | Data_passive| Data_active of Types.text Types.indice option * Types.text Types.exprval pp_data_mode : Format.formatter -> data_mode -> Unit.tval pp_data : Format.formatter -> data -> Unit.ttype elem_mode = | Elem_passive| Elem_active of Types.text Types.indice option * Types.text Types.expr| Elem_declarativeval pp_elem_mode : Format.formatter -> elem_mode -> Unit.ttype elem = {id : string option;typ : Types.text Types.ref_type;init : Types.text Types.expr list;mode : elem_mode;}val pp_elem_expr : Format.formatter -> 'a Types.expr -> Unit.tval pp_elem : Format.formatter -> elem -> Unit.ttype module_field = | MType of Types.text Types.rec_type| MGlobal of global| MTable of Types.text Types.table| MMem of Types.mem| MFunc of Types.text Types.func| MElem of elem| MData of data| MStart of Types.text Types.indice| MImport of Types.text Types.import| MExport of Types.text Types.exportval pp_module_field : Format.formatter -> module_field -> Unit.tval pp_modul : Format.formatter -> modul -> unittype action = | Invoke of string option * string * Types.text Types.const list| Get of string option * stringval pp_action : Format.formatter -> action -> unittype result_const = | Literal of Types.text Types.const| Nan_canon of Types.nn| Nan_arith of Types.nnval pp_result_const : Format.formatter -> result_const -> unitval pp_result : Format.formatter -> result -> unitval pp_result_bis : Format.formatter -> result -> unitval pp_results : Format.formatter -> result list -> unittype assertion = | Assert_return of action * result list| Assert_trap of action * string| Assert_trap_module of modul * string| Assert_malformed of modul * string| Assert_malformed_quote of string list * string| Assert_malformed_binary of string list * string| Assert_invalid of modul * string| Assert_invalid_quote of string list * string| Assert_invalid_binary of string list * string| Assert_exhaustion of action * string| Assert_unlinkable of modul * stringval pp_strings : Format.formatter -> string list -> unitval pp_assertion : Format.formatter -> assertion -> unitval pp_register : Format.formatter -> (string * 'a) -> unitval pp_cmd : Format.formatter -> cmd -> unittype script = cmd listval pp_script : Format.formatter -> cmd list -> unit