mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-24 16:08:55 +03:00
83 lines
2.3 KiB
JSON
83 lines
2.3 KiB
JSON
{
|
|
"name": "",
|
|
"expected_input": [],
|
|
"imports": [],
|
|
"circuits": {},
|
|
"functions": {
|
|
"{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"test\\\"}\"}": {
|
|
"annotations": [],
|
|
"identifier": "{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"test\\\"}\"}",
|
|
"input": [],
|
|
"output": null,
|
|
"block": {
|
|
"statements": [
|
|
{
|
|
"Return": {
|
|
"expression": {
|
|
"Binary": {
|
|
"left": {
|
|
"Value": {
|
|
"Implicit": [
|
|
"1",
|
|
{
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 12,
|
|
"col_stop": 13,
|
|
"path": "test"
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"right": {
|
|
"Value": {
|
|
"Implicit": [
|
|
"1",
|
|
{
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 16,
|
|
"col_stop": 17,
|
|
"path": "test"
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"op": "Add",
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 12,
|
|
"col_stop": 17,
|
|
"path": "test"
|
|
}
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 5,
|
|
"col_stop": 17,
|
|
"path": "test"
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 3,
|
|
"col_start": 17,
|
|
"col_stop": 2,
|
|
"path": "test"
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 3,
|
|
"col_start": 1,
|
|
"col_stop": 2,
|
|
"path": "test"
|
|
}
|
|
}
|
|
}
|
|
} |