module AbstractLabeled: functor (V : sigtype t end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.IA with type V.label = V.t and type E.label = E.t
functor (
V
:
sig
type t
end
) ->
E
Sig.ORDERED_TYPE_DFT
Sig.IA
with type V.label = V.t and type E.label = E.t
sig type t end
include Sig.I
module Mark: Sig.MARK with type graph = t and type vertex = vertex
Sig.MARK
with type graph = t and type vertex = vertex