module Abstract: functor (V : sigtype t end) -> Sig.IA with type V.label = V.t
functor (
V
:
sig
type t
end
) ->
Sig.IA
with type V.label = V.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