1{
 2 "mainCode": "{\n}\n",
 3 "signalName2Idx": {
 4  "one": 0,
 5  "main.out": 1
 6 },
 7 "components": [
 8  {
 9   "name": "main",
10   "params": {},
11   "template": "A",
12   "inputSignals": 0
13  }
14 ],
15 "componentName2Idx": {
16  "main": 0
17 },
18 "signals": [
19  {
20   "names": [
21    "one"
22   ],
23   "triggerComponents": []
24  },
25  {
26   "names": [
27    "main.out"
28   ],
29   "triggerComponents": []
30  }
31 ],
32 "constraints": [],
33 "templates": {
34  "A": "function(ctx) {\n    ctx.setSignal(\"out\", [], \"3\");\n    ctx.assert(ctx.getSignal(\"out\", []), \"3\");\n}\n"
35 },
36 "functions": {},
37 "nPrvInputs": 0,
38 "nPubInputs": 0,
39 "nInputs": 0,
40 "nOutputs": 0,
41 "nVars": 1,
42 "nConstants": 1,
43 "nSignals": 2
44}