Module Lineage.Summary

type t
val pp : Stdlib.Format.formatter -> t -> unit
val report : t -> IR.Procdesc.t -> unit