Module Test_builder.Term_print

val print : Alba_core.Term.t -> Alba_core__Context.t -> Pretty_printer.t