Le 19/02/2021 à 22:14, Frank Pfenning a écrit :
Thanks, that's indeed helpful. Where can I find documentation (or source) on libraries io.* and perhaps other system-relevant libraries that do not appear on http://why3.lri.fr/stdlib/ ?
Well, in principle all the standard packages should be documented there, only "experimental" ones are not there, as was this `io` package. I opened a ticket asking to improve its doc and put it online.
You can of course browse the directory of the standard library, accessible using `why3 -print-datadir`, subdirectory `stdlib`.
- Claude _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
