Module Register.SGraph


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