Tuple.EQ_F
First : Interface.EQ
Second : Interface.EQ
type t
= First.t * Second.t
val eq : t -> t -> bool