Higher-order functions

Index of values
Index of modules

List_1	Renames basic operations on lists.
Higher_order	Provides higher-order functions.