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