package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type thread_ic
val prepare_in_channel_for_thread_friendly_io : Stdlib.in_channel -> thread_ic
val thread_friendly_input_value : thread_ic -> 'a
val thread_friendly_read : thread_ic -> Stdlib.Bytes.t -> off:int -> len:int -> int
val thread_friendly_really_read : thread_ic -> Stdlib.Bytes.t -> off:int -> len:int -> unit
val thread_friendly_really_read_line : thread_ic -> string
val create : ('a -> 'b) -> 'a -> Thread.t
val with_lock : Stdlib.Mutex.t -> scope:(unit -> 'a) -> 'a
OCaml

Innovation. Community. Security.