1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
ZoKrates/zokrates_cli/examples/book/gtl.zok

7 lines
No EOL
221 B
Text

def main() -> (bool):
field a = if 10 > 9 then 1 else 0 fi
field b = if 10 >= 9 then 1 else 0 fi
field c = if 10 <= 10 then 1 else 0 fi
field d = if 10 < 9 then 1 else 0 fi
return a == b && c == d