package owi

  1. Overview
  2. Docs

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 =
  1. | Eq : ('a, 'a) eq
module Extern_ref : sig ... end
type externref =
  1. | E : 'a Extern_ref.ty * 'a -> externref
module Func : sig ... end
type 'a ref_value =
  1. | Externref of externref option
  2. | Funcref of 'a Func.t option
type 'a t =
  1. | I32 of Int32.t
  2. | I64 of Int64.t
  3. | F32 of Float32.t
  4. | F64 of Float64.t
  5. | 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
OCaml

Innovation. Community. Security.