Module Pair.Ops

Infix and prefix operators.

val (&&&) : ('a -> 'b) -> ('c -> 'd) -> ('a * 'c) -> 'b * 'd

(&&&) is Pair.cross.

val (***) : ('a -> 'b) -> ('a -> 'c) -> 'a -> 'b * 'c

( *** ) is Pair.diag.

val (*) : ('a * 'a) -> ('b * 'b) -> ('a * 'b) list

( * ) is cartesian_product.