Module Subgraph

module Subgraph: sig .. end
Subgraph from a given vertex

module Make: 
functor (G : sig
include Graph.Sig.G
Graph datastructure
val create : ?size:int -> unit -> t
val add_edge_e : t -> E.t -> unit
end-> 
functor (D : Datatype.S with type t = G.t-> 
functor (Info : sig
val self : State.t
additional information
val name : string
name of the state
val get : unit -> G.t
val vertex : Kernel_function.t -> G.V.t
end-> sig .. end