Index of types
Index of exceptions
Index of values
Index of modules


Macro
(sub-module of Pa_do) Improved version of macros that play well with overloading.
Delimited_overloading
(submodule of Pa_do) Syntax extension module to enable easy local overloading of operators and functions.
Std
(submodule of Pa_do) Overloadings for the modules in the standard library.
Pa_do_num
Overloadings for the modules Num, Big_int and Ratio.
Pa_infix
Syntax extension module to change the priority or associativity of unary and binary operators.