-
MARCHE Claude authored
Subliminal message: the main difficulty was the use of the API for programs. In particular, I added a first ocamldoc documentation for [Mlw_module.add_pdecl], explaining that it may raise exception [Not_found]. The parameter [wp] should be documented too, I put [true], hoping it is OK. Generally speaking, [.mli] files in [src/whyml] lack A LOT of ocamldoc documentation
801703f9