Functor Subgraph.Make

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
Parameters:
G : sig (** Graph datastructure *) include Graph.Sig.G val create: ?size:int -> unit -> t val add_edge_e: t -> E.t -> unit end
D : Datatype.S with type t = G.t
Info : sig (** additional information *) val self: State.t val name: string (** name of the state *) val get: unit -> G.t val vertex: Kernel_function.t -> G.V.t end

val get : unit -> G.t
val self : State.t