mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 12:13:41 +03:00
96 lines
2.9 KiB
JSON
96 lines
2.9 KiB
JSON
{
|
|
"name": "",
|
|
"expected_input": [],
|
|
"import_statements": [],
|
|
"imports": {},
|
|
"aliases": {},
|
|
"circuits": {},
|
|
"global_consts": {},
|
|
"functions": {
|
|
"{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"function main() -> u8 {\\\"}\"}": {
|
|
"annotations": [],
|
|
"identifier": "{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"function main() -> u8 {\\\"}\"}",
|
|
"input": [],
|
|
"output": {
|
|
"IntegerType": "U8"
|
|
},
|
|
"block": {
|
|
"statements": [
|
|
{
|
|
"Return": {
|
|
"expression": {
|
|
"Binary": {
|
|
"left": {
|
|
"Value": {
|
|
"Integer": [
|
|
"U8",
|
|
"1",
|
|
{
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 12,
|
|
"col_stop": 15,
|
|
"path": "",
|
|
"content": " return 1u8 + 1u8;"
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"right": {
|
|
"Value": {
|
|
"Integer": [
|
|
"U8",
|
|
"1",
|
|
{
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 18,
|
|
"col_stop": 21,
|
|
"path": "",
|
|
"content": " return 1u8 + 1u8;"
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"op": "Add",
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 12,
|
|
"col_stop": 21,
|
|
"path": "",
|
|
"content": " return 1u8 + 1u8;"
|
|
}
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 2,
|
|
"line_stop": 2,
|
|
"col_start": 5,
|
|
"col_stop": 21,
|
|
"path": "",
|
|
"content": " return 1u8 + 1u8;"
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 3,
|
|
"col_start": 23,
|
|
"col_stop": 2,
|
|
"path": "",
|
|
"content": "function main() -> u8 {\n ...\n}"
|
|
}
|
|
},
|
|
"span": {
|
|
"line_start": 1,
|
|
"line_stop": 3,
|
|
"col_start": 1,
|
|
"col_stop": 2,
|
|
"path": "",
|
|
"content": "function main() -> u8 {\n ...\n}"
|
|
}
|
|
}
|
|
}
|
|
} |