module Path: sig end
sig end
module type G = sig end
module type WEIGHT = sig end
module Dijkstra: functor (G : G) -> functor (W : sig end) -> sig end
functor (G : G) -> functor (W : sig end) -> sig end