Module `Tezos_webassembly_interpreter.Values`

type ('i32, 'i64, 'f32, 'f64) op =

| I32 of 'i32
| I64 of 'i64
| F32 of 'f32
| F64 of 'f64

val pp_op : 
  'i32 'i64 'f32 'f64. (Ppx_deriving_runtime.Format.formatter ->
                         'i32 ->
                         Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'i64 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f64 -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  ('i32, 'i64, 'f32, 'f64) op ->
  Ppx_deriving_runtime.unit

val show_op : 
  'i32 'i64 'f32 'f64. (Ppx_deriving_runtime.Format.formatter ->
                         'i32 ->
                         Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'i64 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f64 -> Ppx_deriving_runtime.unit) ->
  ('i32, 'i64, 'f32, 'f64) op ->
  Ppx_deriving_runtime.string

type 'v128 vecop =

| V128 of 'v128

val pp_vecop : 
  'v128. (Ppx_deriving_runtime.Format.formatter ->
           'v128 ->
           Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'v128 vecop ->
  Ppx_deriving_runtime.unit

val show_vecop : 
  'v128. (Ppx_deriving_runtime.Format.formatter ->
           'v128 ->
           Ppx_deriving_runtime.unit) ->
  'v128 vecop ->
  Ppx_deriving_runtime.string

type num = (I32.t, I64.t, F32.t, F64.t) op

val pp_num : 
  Ppx_deriving_runtime.Format.formatter ->
  num ->
  Ppx_deriving_runtime.unit

val show_num : num -> Ppx_deriving_runtime.string

type vec = V128.t vecop

val pp_vec : 
  Ppx_deriving_runtime.Format.formatter ->
  vec ->
  Ppx_deriving_runtime.unit

val show_vec : vec -> Ppx_deriving_runtime.string

type ref_ = ..

type ref_ +=

| NullRef of Types.ref_type
| ExternRef of int32

type value =

| Num of num
| Vec of vec
| Ref of ref_

val as_num : value -> num

val as_vec : value -> vec

val as_ref : value -> ref_

exception TypeError of int * num * Types.num_type

module type NumType = sig ... end

module I32Num : sig ... end

module I64Num : sig ... end

module F32Num : sig ... end

module F64Num : sig ... end

module type VecType = sig ... end

module V128Vec : sig ... end

val type_of_num : ('a, 'b, 'c, 'd) op -> Types.num_type

val type_of_vec : 'a vecop -> Types.vec_type

val type_of_ref' : (ref_ -> Types.ref_type) ref

val type_of_ref : ref_ -> Types.ref_type

val type_of_value : value -> Types.value_type

val eq_num : 'a -> 'a -> bool

val eq_vec : 'a -> 'a -> bool

val eq_ref' : (ref_ -> ref_ -> bool) ref

val eq_ref : ref_ -> ref_ -> bool

val eq : value -> value -> bool

val default_num : Types.num_type -> (I32.t, I64.t, F32.t, F64.t) op

val default_vec : Types.vec_type -> V128.t vecop

val default_ref : Types.ref_type -> ref_

val default_value : Types.value_type -> value

val value_of_bool : bool -> value

val string_of_num : (I32.t, I64.t, F32.t, F64.t) op -> string

val hex_string_of_num : (I32.t, I64.t, F32.t, F64.t) op -> string

val string_of_vec : V128.t vecop -> string

val hex_string_of_vec : V128.t vecop -> string

val string_of_ref' : (ref_ -> string) ref

val string_of_ref : ref_ -> string

val string_of_value : value -> string

val string_of_values : value list -> string

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Values/index.html

Module `Tezos_webassembly_interpreter.Values`

package octez-l2-libs

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Values/index.html

Module Tezos_webassembly_interpreter.Values

dune-project
Dependency

Module `Tezos_webassembly_interpreter.Values`