Module Register.SGraph

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