C : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
STRUCTURE
SYNOPSIS
Permutes first two arguments to curried function: C f x y equals f y x.
FAILURE
C f never fails and C f x never fails, but C f x y fails if f y x fails.
EXAMPLE
- map (C cons []) [1,2,3];
> val it = [[1], [2], [3]] : int list list

SEEALSO
##, I, K, S, W
HOL  Kananaskis-14