sig
type status = Uninitialised | Bad_term | Good_term
val setup : Pervasives.out_channel -> Terminfo.status
val num_lines : Pervasives.out_channel -> int
val backup : Pervasives.out_channel -> int -> unit
val standout : Pervasives.out_channel -> bool -> unit
val resume : Pervasives.out_channel -> int -> unit
end