Index of module types
A | |
| APP [Registration] | |
| APP_PARAM [Registration_sigs] |
Signature for application creation.
| ARG [Notif] |
ARG is for making Make
| ARG_SIMPLE [Notif] |
ARG_SIMPLE is for making Notif.Make_Simple
H | |
| HTML5_TOOLS [Tools] | |
L | |
| LINKS [Form_sigs] | |
| LINKS_AND_FORMS [Content_sigs] | |
P | |
| PARAM [Registration_sigs] | |
| PARAM_POLY [Registration_sigs] | |
R | |
| RLIST [Shared_sigs] | |
S | |
| S [Notif] |
Signature of the functors Notif.Make and Notif.Make_Simple.