module Subgraph:sig
..end
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