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 : sig  end) -> sig  end