object method can_output : bool method close_out : unit -> unit method flush : unit -> unit method output : string -> int -> int -> int method pos_out : int method request_notification : (unit -> bool) -> unit end
