package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module RocqshimSource

Sourcetype worker = {
  1. package : string;
  2. basename : string;
}
Sourceval get_worker_path : worker -> string

Find the executable for the given worker. init must have been called. byte defaults to whether the current executable is byte compiled.

Sourcetype opts = {
  1. debug_shim : bool;
}
Sourceval parse_opts : string list -> opts * string list
Sourceval init : opts -> string list -> unit

Initialize environment and search paths.

Sourceval exec_or_create_process : string -> string array -> 'a

On windows Unix.execv creates a new process and exits this one. This confuses dune into thinking we are done, so instead we create_process and wait for it.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct