Module Lineage.Out

val report_summary : IR.Procdesc.t -> Summary.t -> unit