package owi

You can search for identifiers within the package.

in-package search v0.2.0

owi
- Owi
  - Check
  - Compile
  - Convert
    
    Float32
    
    Float64
    
    Int32
    
    Int64
  - Float32
  - Float64
  - Int32
  - Int64
  - Interpret
  - Lexer
  - Link
    
    Env
    
    Global
    
    Memory
    
    StringMap
    
    StringSet
    
    Table
  - Log
  - Menhir_parser
  - Parse
  - Pp
    
    Arg
    
    Const
    
    Global
    
    Input
    
    Input_Expr
    
    Make_Expr
    
    Arg
    
    Shared
    
    Simplified
    
    Simplified_indice
    
    Symbolic_indice
  - Script
  - Simplify
    
    Named
    
    StringMap
  - Spectest
  - Stack
  - Typecheck
  - Types
    
    Const
  - Value
    
    Extern_ref
    
    Func
  - Wutf8

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 Float32.t
| F64 of 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