Lib.C

C : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

STRUCTURE

Lib

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-11