Plasma GitLab Archive
Projects Blog Knowledge

object
  method abort : unit -> unit
  method can_output : bool
  method close_out : unit -> unit
  method event_system : Unixqueue.event_system
  method flush : unit -> unit
  method output : string -> int -> int -> int
  method pos_out : int
  method request_notification : (unit -> bool) -> unit
  method state : unit engine_state
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml