mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-30 23:33:27 +03:00
128 lines
4.0 KiB
JSON
128 lines
4.0 KiB
JSON
{
|
|
"name": "",
|
|
"expected_input": [],
|
|
"imports": [],
|
|
"circuits": {},
|
|
"functions": {
|
|
"{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\"}\"}": {
|
|
"annotations": [],
|
|
"identifier": "{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\"}\"}",
|
|
"input": [],
|
|
"output": {
|
|
"Tuple": []
|
|
},
|
|
"block": {
|
|
"statements": [
|
|
{
|
|
"Definition": {
|
|
"declaration_type": "Let",
|
|
"variable_names": [
|
|
{
|
|
"mutable": true,
|
|
"identifier": "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":2,\\\"line_stop\\\":2,\\\"col_start\\\":11,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\"}\"}",
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 7,
|
|
"col_stop": 12,
|
|
"path": ""
|
|
}
|
|
}
|
|
],
|
|
"type_": null,
|
|
"value": {
|
|
"Value": {
|
|
"Integer": [
|
|
"U32",
|
|
"10",
|
|
{
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 15,
|
|
"col_stop": 20,
|
|
"path": ""
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 3,
|
|
"col_stop": 20,
|
|
"path": ""
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"Assign": {
|
|
"operation": "Assign",
|
|
"assignee": {
|
|
"identifier": "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":3,\\\"line_stop\\\":3,\\\"col_start\\\":3,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\"}\"}",
|
|
"accesses": [],
|
|
"span": {
|
|
"line_start": 3,
|
|
"line_stop": 3,
|
|
"col_start": 3,
|
|
"col_stop": 4,
|
|
"path": ""
|
|
}
|
|
},
|
|
"value": {
|
|
"Binary": {
|
|
"left": {
|
|
"Identifier": "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":3,\\\"line_stop\\\":3,\\\"col_start\\\":3,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\"}\"}"
|
|
},
|
|
"right": {
|
|
"Value": {
|
|
"Implicit": [
|
|
"20",
|
|
{
|
|
"line_start": 3,
|
|
"line_stop": 3,
|
|
"col_start": 8,
|
|
"col_stop": 10,
|
|
"path": ""
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"op": "Add",
|
|
"span": {
|
|
"line_start": 3,
|
|
"line_stop": 3,
|
|
"col_start": 3,
|
|
"col_stop": 10,
|
|
"path": ""
|
|
}
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 3,
|
|
"line_stop": 3,
|
|
"col_start": 3,
|
|
"col_stop": 10,
|
|
"path": ""
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 4,
|
|
"col_start": 17,
|
|
"col_stop": 2,
|
|
"path": ""
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 4,
|
|
"col_start": 1,
|
|
"col_stop": 2,
|
|
"path": ""
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|