Le 19/02/2021 à 17:19, Claude Marche a écrit :
```hello.mlw let test () = print_string "Hello Why3 World"; print_newline () ```
With `use io.StdIO` as first line, of course - Claude _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
