Class type Uq_engines_compat.async_out_channel

class type async_out_channel = object .. end

method output : string -> int -> int -> int

method close_out : unit -> unit

method pos_out : int

method flush : unit -> unit

method can_output : bool

method request_notification : (unit -> bool) -> unit

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge