sig
  type todo = private {
    node : Db.Pdg.t_node;
    kf : Db_types.kernel_function;
    pdg : Db.Pdg.t;
    callstack_length : int;
    from_deep : bool;
  }
  type t = Components.??.todo list
  val mk_init :
    Db_types.kernel_function ->
    Db.Pdg.t -> Db.Pdg.t_node list -> Components.??.todo list
  val add :
    Db.Pdg.t_node ->
    Db_types.kernel_function ->
    Db.Pdg.t -> int -> bool -> Components.??.-> Components.??.t
end