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

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 0