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