package owi

You can search for identifiers within the package.

in-package search v0.2.0

OCaml toolchain to work with WebAssembly, including an interpreter

Install

dune-project

Dependency

github.com Readme Changelog AGPL-3.0-or-later License Edit opam file Versions (2)

Authors

Maintainers

L

Léo Andrès <contact@ndrs.fr>

Sources

0.2.tar.gz

sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791

sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d

doc/owi/Owi/Symbolic/index.html

Module `Owi.Symbolic`

module type Thread = sig ... end

module MakeP
  (Thread : Thread)
  (Choice : 
    Choice_intf.Complete
      with module V := Symbolic_value
       and type thread := Thread.t) : 
  sig ... end

module P : sig ... end

module M : sig ... end

val convert_module_to_run : 
  P.Extern_func.extern_func Link.module_to_run ->
  P.Module_to_run.t

val convert_module_to_run_minimalist : 
  M.Extern_func.extern_func Link.module_to_run ->
  M.Module_to_run.t