module Todolist:sig
..end
type
todo = {
|
node : |
|
kf : |
|
pdg : |
|
callstack_length : |
|
from_deep : |
typet =
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