sig
module
Digraph
:
Sig_pack
.
S
module
Graph
:
Sig_pack
.
S
end