| commit | 7dd2b50449badd07bfd826ee5aeb764dd939007b | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 19 Sep 2024 08:54:24 +0000 (19 10:54 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 19 Sep 2024 08:54:24 +0000 (19 10:54 +0200) | ||
| tree | 7a3b627aff63526c5cdc33201884fd407ea838df | treesnapshot (tar.gz zip) |
| parent | 69ee4236f48524aa9870fce1083ae67ced0fb5b1 | commitdiff |
Pmodule: t->t->t functions can be overloaded as X->X->t functions
allows to add program equality on Booleans
allows to add program equality on Booleans