S : ('a -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'c
STRUCTURE
SYNOPSIS
Generalized function composition: S f g x equals f x (g x).
FAILURE
S f never fails and S f g never fails, but S f g x fails if g x fails or f x (g x) fails.
SEEALSO
Lib, ##, C, I, K, W
HOL  Kananaskis-14