Bug #88
kind2 output: When for node arguments
Start date:
07/17/2019
Due date:
% Done:
0%
Description
Lustrec syntax:
f(x1 when c, x2 when c, ...)Kind2 syntax:
(activate f every c)(x1, x2, ...)0%
Description
Lustrec syntax:
f(x1 when c, x2 when c, ...)Kind2 syntax:
(activate f every c)(x1, x2, ...)