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