Graph.Path
module type G = sig ... end
module Dijkstra (G : G) (W : sig ... end) : sig ... end
module BellmanFord (G : G) (W : sig ... end) : sig ... end
module type WJ = sig ... end
module Johnson (G : G) (W : sig ... end) : sig ... end
module Check (G : sig ... end) : sig ... end