PackageGraph.O
val transitive_reduction : G.t -> unit
module O : sig ... end
module S : sig ... end
val subgraph : G.t -> S.elt list -> G.t