Unified (infer.Checkers.Lineage.Unified)

module UVertex : sig ... end

module LocalG := G

module G : Graph.Sig.P with type V.t = UVertex.t and type E.label = Edge.t

val transform_e : 
  (IR.Procname.t -> LineageShape.Summary.t option) ->
  IR.Procname.t ->
  LocalG.edge ->
  G.edge list

module Dot : sig ... end