Module SL_graph.Reachability

val analyze : (G.V.t -> bool) -> G.t -> G.V.t -> bool