package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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