Module Integration.ReportDataFlows

type flow_type =
  1. | FromSource
  2. | ToSink
val report_data_flows_of_procname : string -> flow_type:flow_type -> unit