package rocq-runtime

  1. Overview
  2. Docs
The Rocq Prover -- Core Binaries and Tools

Install 

dune-project
 Dependency

rocq-prover.org Readme Edit opam file Versions (3)

Authors

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

Maintainers

  1. T
    The Rocq development team <rocq+rocq-development@discoursemail.com>

Sources

rocq-9.1.0.tar.gz
sha256=b236dc44f92e1eeca6877c7ee188a90c2303497fe7beb99df711ed5a7ce0d824

doc/rocq-runtime.clib/CThread/index.html

Module CThreadSource

Sourcetype thread_ic
Sourceval prepare_in_channel_for_thread_friendly_io : in_channel -> thread_ic
Sourceval thread_friendly_input_value : thread_ic -> 'a
Sourceval thread_friendly_read : thread_ic -> Bytes.t -> off:int -> len:int -> int
Sourceval thread_friendly_really_read : thread_ic -> Bytes.t -> off:int -> len:int -> unit
Sourceval thread_friendly_really_read_line : thread_ic -> string
Sourceval create : ('a -> 'b) -> 'a -> Thread.t
Sourceval with_lock : Mutex.t -> scope:(unit -> 'a) -> 'a