Path.Johnson
G : G
W : sig ... end
module HVV : sig ... end
val all_pairs_shortest_paths : G.t -> W.t HVV.t