module SGraph:Graph.Imperative.Digraph.ConcreteLabeled
(
sig
typet =
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.Stmtval default :Cil_types.stmt
end
)