github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

refactor for clarity, clean

Browse source
This commit is contained in:
schaeff 2021-06-16 16:25:01 +02:00
parent 759f4dd553
commit 59023ca677
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_cli/examples/imports/import_with_alias.zok
View file

@ -1,8 +1,8 @@
//from "./bar" import main as bar from "./bar" import main as bar
from "./baz" import BAZ as baz from "./baz" import BAZ as baz
import "./foo" as f import "./foo" as f
def main() -> field: def main() -> field:
field foo = f() field foo = f()
assert(foo == 21 + baz) assert(foo == bar() + baz)
return foo return foo