Module Unified.UVertex

type v =
  1. | Local of Local.t * PPNode.t
  2. | Argument of int * Checkers.LineageShape.StdModules.FieldPath.t
  3. | Return of Checkers.LineageShape.StdModules.FieldPath.t
  4. | Captured of int
  5. | Function
val sexp_of_v : v -> Sexplib0.Sexp.t
val v_of_sexp : Sexplib0.Sexp.t -> v
val compare_v : v -> v -> int
val equal_v : v -> v -> bool
val hash_fold_v : Ppx_hash_lib.Std.Hash.state -> v -> Ppx_hash_lib.Std.Hash.state
val hash_v : v -> Ppx_hash_lib.Std.Hash.hash_value
type t = {
  1. procname : IR.Procname.t;
  2. vertex : v;
}
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
val pp : t Fmt.t