(F_F) : ('a -> 'b) -> ('c -> 'd) -> 'a * 'c -> 'b * 'd
SYNOPSIS
Infix operator. Applies two functions to a pair:
(f F_F g) (x,y)
=
(f x, g y)
. \LIBRARY
DESCRIPTION
FAILURE CONDITIONS
Never fails.
EXAMPLE
USES
COMMENTS
SEE ALSO
f_f_