Props.PPair
module T1 : PT
module T2 : PT
type t = T1.t * T2.t
val compare : t -> t -> int
val wrapper : t Ocf.Wrapper.t option
val from_prop_value : prop_value -> t
val to_prop_value : t -> prop_value
val mk_prop : t mk_prop