package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.