owi
Owi.Value
Module to define externref values in OCaml. You should look in the `example` directory to understand how to use this before reading the code...
type ('a, 'b) eq =
| Eq : ('a, 'a) eq
module Extern_ref : sig ... end
type externref =
| E : 'a Extern_ref.ty * 'a -> externref
module Func : sig ... end
type 'a ref_value =
| Externref of externref option
| Funcref of 'a Func.t option
type 'a t =
| I32 of Int32.t
| I64 of Int64.t
| F32 of Owi.Float32.t
| F64 of Owi.Float64.t
| Ref of 'a ref_value
val cast_ref : externref -> 'a Extern_ref.ty -> 'a option
val ref_null' : Types.ref_type -> 'a ref_value
val ref_null : Types.ref_type -> 'a t
val ref_func : 'a Func.t -> 'a t
val is_ref_null : 'a ref_value -> bool
val pp : Format.formatter -> 'a t -> unit