module G:sig
..end
typet =
Cil_types.kernel_function
val is_directed : bool
module V: Cil_datatype.Stmt
val fold_vertex : (Cil_types.stmt -> 'a -> 'b) -> Kernel_function.t -> 'a -> 'b
val iter_vertex : (Cil_types.stmt -> 'a) -> Kernel_function.t -> 'a
val succs : Cil_types.stmt -> Cil_types.stmt list
val iter_succ : (Cil_types.stmt -> unit) -> 'a -> Cil_types.stmt -> unit
val fold_succ : (Cil_types.stmt -> 'a -> 'a) -> 'b -> Cil_types.stmt -> 'a -> 'a