sig
  type t
  val of_universe : Cudf.universe -> OpamCudf.Graph.t
  val closure : OpamCudf.Graph.t -> OpamCudf.Set.t -> Cudf.package list
end