package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3

module ML : MainLoopModel

Sourcetype process

Sourcetype callback = ML.condition list -> read_all:(unit -> string) -> bool

val 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

On This Page