Module Register.SGraph


module SGraph: Graph.Imperative.Digraph.ConcreteLabeled(sig
type t = Kernel_function.t 
val equal : Kernel_function.t -> Kernel_function.t -> bool
val hash : Kernel_function.t -> int
val compare : Kernel_function.t -> Kernel_function.t -> int
end)(sig
include Cil_datatype.Stmt
val default : Cil_types.stmt
end)