Category:Elena: Difference between revisions
Content added Content deleted
| Line 134: | Line 134: | ||
import extensions. |
import extensions. |
||
program = |
public program = |
||
[ |
[ |
||
bool b1 := true. |
bool b1 := true. |
||