package rocq-runtime

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Spawn.ControlSource

Sourcetype handle
Sourceval kill : handle -> unit
Sourceval wait : handle -> Unix.process_status
Sourceval unixpid : handle -> int
Sourceval uid : handle -> string
Sourceval is_alive : handle -> bool
OCaml

Innovation. Community. Security.