Lineage (infer.Checkers.Lineage)

module PPNode : sig ... end

module Local : sig ... end

module Vertex : sig ... end

module Edge : sig ... end

module G : sig ... end

module Unified : sig ... end

module Summary : sig ... end

module Out : sig ... end

val checker : 
  (Summary.t option * LineageShape.Summary.t option)
    Absint.InterproceduralAnalysis.t ->
  LineageShape.Summary.t option ->
  Summary.t option