sig
  val print : Term.term -> unit
  val output : Pervasives.out_channel -> Term.term -> unit
  val print_to_string : Term.term -> string
end