gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
extern function bip(x,y : bool) returns (z,t : bool); node call06(x,y : bool) returns (z,t : bool); let assert (x=>z); (z,t) = bip(x,y); tel
