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

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,   \#\#,   A,   B,   C,   I,   K,   W

HOL  Kananaskis 0