circom/test/circuits/include.circom
test/circuits/include.circomRaw
1include "included.circom";
2include "included.circom"; // Include twice is fine. The second one is not included
3
4template Main() {
5 signal input in;
6 signal output out;
7
8 component t1 = T1();
9
10 var a = F1(3);
11
12 in ==> t1.in;
13 t1.out + a ==> out; /// out <-- in**2/3+3
14}
15
16component main = Main();