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