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 ->
'b list ->
unit
module PSet : sig ... end
val print_set :
Stdlib.Format.formatter ->
( Stdlib.Format.formatter -> PSet.elt -> unit ) ->
string ->
PSet.t ->
unit
module PTbl : sig ... end
module Disj : sig ... end
module CSet : sig ... end
val repository : Cudf.universe -> PSet.t list array * PSet.t array