1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/asserts.zok
2021-01-21 01:00:56 +01:00

7 lines
No EOL
98 B
Text

def id<N>() -> u32:
return N
def main():
assert(id::<5>() == 5)
assert(id::<6>() == 6)
return