owi 0.2 (latest) · OCaml Package

val symbolic : string -> < string_indices : Types.yes.. > Types.indice

val raw : int -> < .. > Types.indice

val bt_ind : < raw_bt : Types.yes.. > as 'a Types.indice -> 'a Types.block_type

val bt_raw : 
  'b as 'a Types.indice option ->
  ('a Types.param_type * 'a Types.result_type) ->
  'a Types.block_type

type global = {

typ : Types.text Types.global_type;
init : Types.text Types.expr;
id : string option;

}

val pp_global : Format.formatter -> global -> Unit.t

type data_mode =

| Data_passive
| Data_active of Types.text Types.indice option * Types.text Types.expr

val pp_data_mode : Format.formatter -> data_mode -> Unit.t

type data = {

id : string option;
init : string;
mode : data_mode;

}

val pp_data : Format.formatter -> data -> Unit.t

type elem_mode =

| Elem_passive
| Elem_active of Types.text Types.indice option * Types.text Types.expr
| Elem_declarative

val pp_elem_mode : Format.formatter -> elem_mode -> Unit.t

type 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.t

val pp_elem : Format.formatter -> elem -> Unit.t

type 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.export

val pp_module_field : Format.formatter -> module_field -> Unit.t

type modul = {

id : string option;
fields : module_field list;

}

val pp_modul : Format.formatter -> modul -> unit

type action =

| Invoke of string option * string * Types.text Types.const list
| Get of string option * string

val pp_action : Format.formatter -> action -> unit

type result_const =

| Literal of Types.text Types.const
| Nan_canon of Types.nn
| Nan_arith of Types.nn

val pp_result_const : Format.formatter -> result_const -> unit

type result =

| Result_const of result_const
| Result_extern_ref
| Result_func_ref

val pp_result : Format.formatter -> result -> unit

val pp_result_bis : Format.formatter -> result -> unit

val pp_results : Format.formatter -> result list -> unit

type 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 * string

val pp_strings : Format.formatter -> string list -> unit

val pp_assertion : Format.formatter -> assertion -> unit

type register = string * string option

val pp_register : Format.formatter -> (string * 'a) -> unit

type cmd =

| Module of modul
| Assert of assertion
| Register of string * string option
| Action of action

val pp_cmd : Format.formatter -> cmd -> unit

type script = cmd list

val pp_script : Format.formatter -> cmd list -> unit

package owi