## : ('a -> 'b) * ('c -> 'd) -> 'a * 'c -> 'b * 'd

SYNOPSIS
Combinator that pairs two functions

DESCRIBE
An application (f ## g) (x,y) equals (f x, g y).

FAILURE

An application (f ## g) (x,y) fails if f x fails or g y fails.

EXAMPLE
- (equal 1 ## I) (3,"foo");

> val it = (false, "foo") : bool * string

COMMENTS
The ## function can be understood as a `map' operation on pairs.

SEEALSO  Lib,   fst,   snd

HOL  Kananaskis 0