Add headers

fluencelabs · Jan 12, 2024 · 8596851 · 8596851
1 parent d50ea23
commit 8596851
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/math.aqua b/math.aqua
@@ -1,3 +1,5 @@
+aqua MathLib declares *
+
 service Math("math"):
     -- x + y
     add(x: i64, y: i64) -> i64

diff --git a/subnet.aqua b/subnet.aqua
@@ -1,3 +1,5 @@
+aqua SubnetLib declares *
+
 data Worker:
   pat_id: string
   host_id: string

diff --git a/workers.aqua b/workers.aqua
@@ -1,3 +1,5 @@
+aqua WorkersLib declares *
+
 import PeerId from "./builtin.aqua"
 
 -- Available only on rust peers