Module `Lineage.Vertex`

type t =

| Local of Local.t * PPNode.t
| Argument of int * Checkers.LineageShape.StdModules.FieldPath.t
| ArgumentOf of IR.Procname.t * int * Checkers.LineageShape.StdModules.FieldPath.t
| Captured of int
| CapturedBy of IR.Procname.t * int
| Return of Checkers.LineageShape.StdModules.FieldPath.t
| ReturnOf of IR.Procname.t * Checkers.LineageShape.StdModules.FieldPath.t
| Self
| Function of IR.Procname.t

val pp : t Fmt.t