object method can_input : bool method close_in : unit -> unit method input : string -> int -> int -> int method pos_in : int method request_notification : (unit -> bool) -> unit end
