package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

The Rocq Prover -- Core Binaries and Tools

Install

dune-project

Dependency

sha256=a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20

Sourcetype process

val spawn : 
  spawn_args:string list ->
  int ->
  CoqworkmgrApi.priority ->
  worker_id * process * CThread.thread_ic * out_channel

Sourcetype extra

val manager : 
  extra cpanel ->
  (worker_id * process * CThread.thread_ic * out_channel) ->
  unit