B : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
STRUCTURE
Lib
SYNOPSIS
Performs curried function-composition:
B f g x
=
f (g x)
.
FAILURE
Never fails.
SEEALSO
Lib
,
##
,
A
,
C
,
I
,
K
,
S
,
W
HOL
Kananaskis-8