(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_