`include sig ... end`
`val it : Dose_common__Util.Info.t`
`val info : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val nt : Dose_common__Util.Notice.t`
`val notice : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val wt : Dose_common__Util.Warning.t`
`val warning : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val dt : Dose_common__Util.Debug.t`
`val debug : ('a, unit, string, unit) Stdlib.format4 -> 'a`
`val fatal : ('a, unit, string, 'b) Stdlib.format4 -> 'a`
`val print_list : Stdlib.Format.formatter -> (Stdlib.Format.formatter -> 'a -> unit) -> string -> 'a list -> unit`
`module Package : sig ... end`
`module PSet : sig ... end`
`val print_set : Stdlib.Format.formatter -> (Stdlib.Format.formatter -> PSet.elt -> unit) -> string -> PSet.t -> unit`
`val pset_of_lst : PSet.elt list -> PSet.t`
`val pset_map : (PSet.elt -> PSet.elt) -> PSet.t -> PSet.t`
`module PTbl : sig ... end`
`module Disj : sig ... end`
`module CSet : sig ... end`
`module Formula : sig ... end`
`module Conflict : sig ... end`
`val simplify_formula : PSet.t array -> PSet.t list -> PSet.t list`
`val filter_conflicts : PSet.t array -> 'a -> PSet.t list -> PSet.t list`
`val flatten_deps : (PSet.elt, PSet.t list) ExtLib.Hashtbl.t -> PSet.t list array -> PSet.t array -> PSet.elt list -> PSet.t list -> PSet.t list * PSet.t`
`val flatten_dep : (PSet.elt, PSet.t list) ExtLib.Hashtbl.t -> PSet.t list array -> PSet.t array -> PSet.elt list -> PSet.elt -> PSet.t list * PSet.t`
`val flatten_dependencies : int -> PSet.t list array -> PSet.t array -> PSet.t list array`
`val remove_self_conflicts : PSet.t list array -> PSet.t array -> PSet.t list array`
`val remove_redundant_conflicts : PSet.t list array -> PSet.t array -> PSet.t list array`
`val maybe_remove : PSet.t list array -> PSet.t array -> 'a -> 'b -> PSet.t -> bool`
`val is_composition : PSet.t list array -> PSet.elt -> PSet.t list -> PSet.t -> bool`
`val remove_deps : PSet.t list array -> PSet.t array -> PSet.t list array`
`val repository : Cudf.universe -> PSet.t list array * PSet.t array`
`val flatten_repository : int -> (PSet.t list array * PSet.t array) -> PSet.t list array * PSet.t array`