1\DOC S 2 3\TYPE {S : ('a -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'c} 4 5\KEYWORDS 6Combinator. 7 8\SYNOPSIS 9Generalized function composition: {S f g x} equals {f x (g x)}. 10 11\FAILURE 12{S f} never fails and {S f g} never fails, but {S f g x} fails if 13{g x} fails or {f x (g x)} fails. 14 15\SEEALSO 16Lib, Lib.##, Lib.C, Lib.I, Lib.K, Lib.W. 17\ENDDOC 18