module Graph:Imperative Undirected Graphssig
..end
module Concrete:functor (
V
:
Sig.COMPARABLE
) ->
Sig.I
with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t
module Abstract:
module ConcreteLabeled:functor (
V
:
Sig.COMPARABLE
) ->
functor (
E
:
Sig.ORDERED_TYPE_DFT
) ->
Sig.I
with type V.t = V.t and type V.label = V.t and type E.t = V.t * E.t * V.t and type E.label = E.t
module AbstractLabeled:functor (
V
:
sig
end
) ->