type 'a t = 'a IO_sync.t
val return : 'a -> 'a t
module Infix : sig ... endval (>>=) : 'a t -> ('a -> 'b t) -> 'b tval (>|=) : 'a t -> ('a -> 'b) -> 'b t
type lock = IO_sync.lock
val create_lock : unit -> lockval with_lock : lock -> (unit -> 'a t) -> 'a t
type in_channel = IO_sync.in_channeltype out_channel = IO_sync.out_channel
val read_line : in_channel -> (string, exn) Pervasives.result tval read_exact : in_channel -> bytes -> int -> (unit, exn) Pervasives.result tval write_string : out_channel -> string -> (unit, exn) Pervasives.result t