mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-26 11:45:00 +03:00
7 lines
85 B
Plaintext
7 lines
85 B
Plaintext
[main]
|
|
a: group = (0, -)group;
|
|
b: group = (0, -)group;
|
|
|
|
[registers]
|
|
r0: bool = true;
|