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