Module type Reason_graph.AdditionalInfo

module type AdditionalInfo = sig .. end

val nodes_origin : Reason_graph.nodes_origin
val initial_nodes : Pdg_aux.NS.t
val in_kf : Cil_types.kernel_function option