sig
  type t = Cil_types.kernel_function
  val is_directed : bool
  module V = Cil_datatype.Stmt
  val fold_vertex :
    (Cil_types.stmt -> '-> 'b) -> Kernel_function.t -> '-> '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) -> '-> Cil_types.stmt -> unit
  val fold_succ :
    (Cil_types.stmt -> '-> 'a) -> '-> Cil_types.stmt -> '-> 'a
end