sig
type todo = private {
node : Db.Pdg.t_node;
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 -> Db.Pdg.t_node list -> Components.??.todo list
val add :
Db.Pdg.t_node ->
Cil_types.kernel_function ->
Db.Pdg.t -> int -> bool -> Components.??.t -> Components.??.t
end