1{
 2 "mainCode": "{\n}\n",
 3 "signalName2Idx": {
 4  "one": 0,
 5  "main.in": 2,
 6  "main.out": 1,
 7  "main.internal.in": 2,
 8  "main.internal.out": 2
 9 },
10 "components": [
11  {
12   "name": "main",
13   "params": {},
14   "template": "InOut",
15   "inputSignals": 1
16  },
17  {
18   "name": "main.internal",
19   "params": {},
20   "template": "Internal",
21   "inputSignals": 1
22  }
23 ],
24 "componentName2Idx": {
25  "main": 0,
26  "main.internal": 1
27 },
28 "signals": [
29  {
30   "names": [
31    "one"
32   ],
33   "triggerComponents": []
34  },
35  {
36   "names": [
37    "main.out"
38   ],
39   "triggerComponents": []
40  },
41  {
42   "names": [
43    "main.in",
44    "main.internal.in",
45    "main.internal.out"
46   ],
47   "triggerComponents": [
48    0,
49    1
50   ]
51  }
52 ],
53 "constraints": [
54  [
55   {},
56   {},
57   {
58    "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
59    "2": "1"
60   }
61  ]
62 ],
63 "templates": {
64  "Internal": "function(ctx) {\n    ctx.setSignal(\"out\", [], ctx.getSignal(\"in\", []));\n}\n",
65  "InOut": "function(ctx) {\n    ctx.setPin(\"internal\", [], \"in\", [], ctx.getSignal(\"in\", []));\n    ctx.setSignal(\"out\", [], ctx.getPin(\"internal\", [], \"out\", []));\n}\n"
66 },
67 "functions": {},
68 "nPrvInputs": 0,
69 "nPubInputs": 1,
70 "nInputs": 1,
71 "nOutputs": 1,
72 "nVars": 3,
73 "nConstants": 0,
74 "nSignals": 3
75}