module SGraph: Graph.Imperative.Digraph.ConcreteLabeled(KfSorted)(siginclude Cil_datatype.Stmt val default : Cil_types.stmtend)
Graph.Imperative.Digraph.ConcreteLabeled
(
KfSorted
)
sig
include Cil_datatype.Stmt
val default : Cil_types.stmt
Cil_types.stmt
end