Missing lots of standard modules in the documentation
The following WhyML modules are not documented (see the
stdlibdoc target in Makefile.in):
Some of them are presumably not documented on purpose (e.g.,
for_drivers) and they should be explicitly marked as such. The other ones are in need of documentation.