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 -> unit
val pp_doc : Pervasives.out_channel -> Cudf.cudf_doc -> unit
val pp_solution : Pervasives.out_channel -> Cudf.solution -> unit
val pp_item : Pervasives.out_channel -> Cudf.cudf_item -> unit
val pp_package : Pervasives.out_channel -> Cudf.package -> unit
val pp_preamble : Pervasives.out_channel -> Cudf.preamble -> unit
val pp_request : Pervasives.out_channel -> Cudf.request -> unit
val pp_packages : Pervasives.out_channel -> Cudf.package list -> unit
val pp_universe : Pervasives.out_channel -> Cudf.universe -> unit
Note: 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 -> unit
val pp_io_doc : 'a IO.output -> Cudf.cudf_doc -> unit
val pp_io_solution : 'a IO.output -> Cudf.solution -> unit
val pp_io_item : 'a IO.output -> Cudf.cudf_item -> unit
val pp_io_package : 'a IO.output -> Cudf.package -> unit
val pp_io_preamble : 'a IO.output -> Cudf.preamble -> unit
val pp_io_request : 'a IO.output -> Cudf.request -> unit
val pp_io_packages : 'a IO.output -> Cudf.package list -> unit
val pp_io_universe : 'a IO.output -> Cudf.universe -> unit