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 (4)

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.1.tar.gz
sha256=35cd03fc4193969b1cce01190340e5c129c1ba8f02242a9e6dff4b83be118759

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