sig val up : Pervasives.out_channel -> int -> unit val clear_to_eol : Pervasives.out_channel -> unit -> unit val bol : Pervasives.out_channel -> unit -> unit val get_columns : unit -> int end