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