package owi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module V : Func_intf.Value_types

module M : Func_intf.Monad_type

Signature

type _ telt =

| I32 : V.int32 telt
| I64 : V.int64 telt
| F32 : V.float32 telt
| F64 : V.float64 telt
| Externref : 'a Type.Id.t -> 'a telt

type _ rtype =

| R0 : unit rtype
| R1 : 'a telt -> 'a rtype
| R2 : 'a telt * 'b telt -> ('a * 'b) rtype
| R3 : 'a telt * 'b telt * 'c telt -> ('a * 'b * 'c) rtype
| R4 : 'a telt * 'b telt * 'c telt * 'd telt -> ('a * 'b * 'c * 'd) rtype

type (_, _) atype =

| UArg : ('b, 'r) atype -> (unit -> 'b, 'r) atype
| Arg : 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
| NArg : string * 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
| Res : ('r, 'r) atype

type _ func_type =

| Func : ('f, 'r M.t) atype * 'r rtype -> 'f func_type

type extern_func =

| Extern_func : 'a func_type * 'a -> extern_func

val extern_type : extern_func -> Types.simplified Types.func_type