Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
(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