AbstractDomain.Pair
Cartesian product of two domains.
include Comparable with type t = Domain1.t * Domain2.t
include IStdlib.PrettyPrintable.PrintableType
with type t = Domain1.t * Domain2.t
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit