val ident_printer : Ident.ident_printerval print_ident : Format.formatter -> Ident.ident -> unittype info = {info_syn : Printer.syntax_map;complex_type : Ty.ty Ty.Mty.t ref;urg_output : string list ref;}val complex_type : Ty.Wty.key -> Ty.tysymbolval print_type : info -> Format.formatter -> Ty.Mty.key -> unitval print_type_value : info -> Format.formatter -> Ty.Mty.key option -> unitval forget_var : Term.vsymbol -> unitval print_var : Format.formatter -> Term.vsymbol -> unitval print_typed_var : info -> Format.formatter -> Term.vsymbol -> unitval print_var_list : info -> Format.formatter -> Term.vsymbol list -> unitval print_fmla : info -> Format.formatter -> Term.term -> unitval print_type_decl : info -> Format.formatter -> Ty.tysymbol -> unitval print_data_decl :
info ->
Format.formatter ->
(Ty.tysymbol * (Term.lsymbol * 'a list) list) ->
unitval print_param_decl : info -> Format.formatter -> Term.lsymbol -> unitval print_decl : info -> Format.formatter -> Decl.decl -> unitval print_decls :
((Printer.syntax_map * Ty.ty Ty.Mty.t) * string list) Trans.transval print_task :
Printer.printer_args ->
?old:'a ->
Format.formatter ->
Task.task ->
unit