package owi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Module to link a simplified/extern module and producing a runnable module along with a link state.

module Memory : sig ... end

runtime memory

module Table : sig ... end

runtime table

module Global : sig ... end

runtime global

module Env : sig ... end

runtime env

type module_to_run = {

}

runnable module

module StringMap : Map.S with type key = string

module StringSet : Set.S

type exports = {

}

runtime exported items

type state = {

}

link state

val empty_state : state

the empty link state

val module_ : 
  Simplify.simplified_module ->
  state ->
  (module_to_run * state, string) result

link a module with a given link state, producing a runnable module and a new link state

val register_module : state -> name:string -> id:string option -> state

register a module inside a link state, producing a new link state

type extern_module = {

}

extern modules

val extern_module : string -> extern_module -> state -> state

register an extern module with a given link state, producing a new link state