module SGraph: Graph.Imperative.Digraph.ConcreteLabeled(Kernel_function)(siginclude Cilutil.StmtComparable val default : Cil_types.stmtend)
Graph.Imperative.Digraph.ConcreteLabeled
(
Kernel_function
)
sig
include Cilutil.StmtComparable
val default : Cil_types.stmt
Cil_types.stmt
end