module type AdditionalInfo = sig .. end
sig
end
val nodes_origin : Reason_graph.nodes_origin
Reason_graph.nodes_origin
val initial_nodes : Pdg_aux.NS.t
Pdg_aux.NS.t
val in_kf : Cil_types.kernel_function option
Cil_types.kernel_function option