Checkers.Lineage
module Summary : sig ... end
val checker : (Summary.t option * LineageShape.Summary.t option) Absint.InterproceduralAnalysis.t -> LineageShape.Summary.t option -> Summary.t option