module Cudf_printer:Pretty printing of CUDF macro-components (documents, stanzas, ...)sig..end
For pretty printing of micro-components see Cudf_types_pp.
val pp_cudf : Pervasives.out_channel -> Cudf.cudf -> unitval pp_doc : Pervasives.out_channel -> Cudf.cudf_doc -> unitval pp_solution : Pervasives.out_channel -> Cudf.solution -> unitval pp_item : Pervasives.out_channel -> Cudf.cudf_item -> unitval pp_package : Pervasives.out_channel -> Cudf.package -> unitval pp_preamble : Pervasives.out_channel -> Cudf.preamble -> unitval pp_request : Pervasives.out_channel -> Cudf.request -> unitval pp_packages : Pervasives.out_channel -> Cudf.package list -> unitval pp_universe : Pervasives.out_channel -> Cudf.universe -> unitNote: you can write to string using these methods using the following pattern:
let o = IO.output_string () in ... Cudf_printer.pp_* o ...; IO.close_out o
val pp_io_cudf : 'a IO.output -> Cudf.cudf -> unitval pp_io_doc : 'a IO.output -> Cudf.cudf_doc -> unitval pp_io_solution : 'a IO.output -> Cudf.solution -> unitval pp_io_item : 'a IO.output -> Cudf.cudf_item -> unitval pp_io_package : 'a IO.output -> Cudf.package -> unitval pp_io_preamble : 'a IO.output -> Cudf.preamble -> unitval pp_io_request : 'a IO.output -> Cudf.request -> unitval pp_io_packages : 'a IO.output -> Cudf.package list -> unitval pp_io_universe : 'a IO.output -> Cudf.universe -> unit