object method close_in : unit -> unit method input : string -> int -> int -> int method pos_in : int end
