Missing lots of standard modules in the documentation
The following WhyML modules are not documented (see the stdlibdoc
target in Makefile.in):
-
cursor
,debug
,exn
,for_drivers
,function
,io
,null
,ocaml
,regexp
,tptp
,tree
-
mach/
:bv
,c
,float
,fxp
,tagset
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.