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