package owi

  1. Overview
  2. Docs
type _ telt =
  1. | I32 : Int32.t telt
  2. | I64 : Int64.t telt
  3. | F32 : Float32.t telt
  4. | F64 : Float64.t telt
  5. | Externref : 'a Extern_ref.ty -> 'a telt
type _ rtype =
  1. | R0 : unit rtype
  2. | R1 : 'a telt -> 'a rtype
  3. | R2 : 'a telt * 'b telt -> ('a * 'b) rtype
  4. | R3 : 'a telt * 'b telt * 'c telt -> ('a * 'b * 'c) rtype
  5. | R4 : 'a telt * 'b telt * 'c telt * 'd telt -> ('a * 'b * 'c * 'd) rtype
type (_, _) atype =
  1. | Arg : 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
  2. | NArg : string * 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
  3. | Res : ('r, 'r) atype
type _ func_type =
  1. | Func : ('f, 'r) atype * 'r rtype -> 'f func_type
type extern_func =
  1. | Extern_func : 'a func_type * 'a -> extern_func
type 'a t =
  1. | WASM of int * (int, Types.func_type) Types.func' * 'a
  2. | Extern of extern_func
val typ : 'a t -> Types.func_type
val wasm : (int, Types.func_type) Types.func' -> 'a -> 'a t