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