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