UninitDomain.VarPair
type t
= IR.Var.t * IR.Var.t
val compare : t -> t -> int
val pp : F.formatter -> (IR.Var.t * IR.Var.t) -> unit