package owi

  1. Overview
  2. Docs
type !'b telt =
  1. | I32 : Value.int32 telt
  2. | I64 : Value.int64 telt
  3. | F32 : Value.float32 telt
  4. | F64 : Value.float64 telt
  5. | Externref : 'a Type.Id.t -> 'a telt
type !'e rtype =
  1. | R0 : unit rtype
  2. | R1 : 'a telt -> 'a rtype
  3. | R2 : 'a0 telt * 'b telt -> ('a0 * 'b) rtype
  4. | R3 : 'a1 telt * 'b0 telt * 'c telt -> ('a1 * 'b0 * 'c) rtype
  5. | R4 : 'a2 telt * 'b1 telt * 'c0 telt * 'd telt -> ('a2 * 'b1 * 'c0 * 'd) rtype
type (!'c, !'d) atype =
  1. | UArg : ('b, 'r) atype -> (unit -> 'b, 'r) atype
  2. | Arg : 'a telt * ('b0, 'r0) atype -> ('a -> 'b0, 'r0) atype
  3. | NArg : string * 'a0 telt * ('b1, 'r1) atype -> ('a0 -> 'b1, 'r1) atype
  4. | Res : ('r2, 'r2) atype
type !'a func_type =
  1. | Func : ('f, 'r Symbolic_choice.Minimalist.t) atype * 'r rtype -> 'f func_type
type extern_func =
  1. | Extern_func : 'a func_type * 'a -> extern_func
OCaml

Innovation. Community. Security.