Module Components.Todolist

module Todolist: sig .. end

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