package coq

  1. Overview
  2. Docs
Formal proof management system

Install 

dune-project
 Dependency

coq.inria.fr Edit opam file Versions (40)

Authors

  1. T
    The Coq development team, INRIA, CNRS, and contributors.

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.15.2.tar.gz
sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926

doc/coq-core.lib/Spawn/Async/index.html

Module Spawn.AsyncSource

Parameters

module ML : MainLoopModel

Signature

Sourcetype process
Sourcetype callback = ML.condition list -> read_all:(unit -> string) -> bool
Sourceval spawn : ?prefer_sock:bool -> ?env:string array -> string -> string array -> callback -> process * 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