sig
val compute_pragmas : (unit -> Cil_types.stmt list) Pervasives.ref
val from_stmt : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
val from_nodes :
(Cil_types.kernel_function -> PdgTypes.Node.t list -> PdgTypes.NodeSet.t)
Pervasives.ref
end