package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=8d852367b54f095d9fbabd000304d450

sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50

Sourcetype process

val spawn : 
  ?prefer_sock:bool ->
  ?env:string array ->
  string ->
  string array ->
  process * in_channel * out_channel

include Control with type handle = process

Sourcetype handle = process

Sourceval kill : handle -> unit

Sourceval wait : handle -> Unix.process_status

Sourceval unixpid : handle -> int

Sourceval uid : handle -> string

Sourceval is_alive : handle -> bool

On This Page