Module Path


module Path: sig .. end
Paths

module type G = sig .. end
Minimal graph signature for Dijkstra's algorithm
module type WEIGHT = sig .. end
Signature for edges' weights
module Dijkstra: 
functor (G : G) ->
functor (W : WEIGHT with type label = G.E.label) -> sig .. end