module Make: functor (
G
:
G
) ->
functor (
Tree
:
Tree
with type V.label = G.V.t and type E.label = unit
) ->
sig
.. end
Parameters: |
G |
: |
G
|
Tree |
: |
Tree with type V.label = G.V.t and type E.label = unit
|
|
include DGraphSubTree.S
val make : DGraphSubTree.G.t -> DGraphSubTree.G.V.t -> int -> int -> t