1442 lines
23 KiB
JSON
Vendored
1442 lines
23 KiB
JSON
Vendored
[
|
|
{
|
|
"type": "_expression",
|
|
"named": true,
|
|
"subtypes": [
|
|
{
|
|
"type": "absent",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "array_comprehension",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "array_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "boolean_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "call",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "float_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "generator_call",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "if_then_else",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "indexed_access",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "infix_operator",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "integer_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "let_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "parenthesised_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "prefix_operator",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "set_comprehension",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "set_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "string_interpolation",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "string_literal",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "_item",
|
|
"named": true,
|
|
"subtypes": [
|
|
{
|
|
"type": "annotation",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "assignment",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "constraint",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "declaration",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "enumeration",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "function_item",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "goal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "include",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "output",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "predicate",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "_type",
|
|
"named": true,
|
|
"subtypes": [
|
|
{
|
|
"type": "array_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "type_base",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "annotation",
|
|
"named": true,
|
|
"fields": {
|
|
"expr": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"parameters": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "(",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ")",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ":",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "array_comprehension",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "generator",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "array_literal",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "array_type",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "assignment",
|
|
"named": true,
|
|
"fields": {
|
|
"expr": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "boolean_literal",
|
|
"named": true,
|
|
"fields": {}
|
|
},
|
|
{
|
|
"type": "call",
|
|
"named": true,
|
|
"fields": {
|
|
"arguments": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "constraint",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "content",
|
|
"named": false,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "escape_sequence",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "declaration",
|
|
"named": true,
|
|
"fields": {
|
|
"expr": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"type": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "enumeration",
|
|
"named": true,
|
|
"fields": {
|
|
"members": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "function_item",
|
|
"named": true,
|
|
"fields": {
|
|
"annotations": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "::",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"expr": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"parameters": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "(",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ")",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ":",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"type": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "generator",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "generator_call",
|
|
"named": true,
|
|
"fields": {
|
|
"generators": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "generator",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"template": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "goal",
|
|
"named": true,
|
|
"fields": {
|
|
"strategy": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "maximize",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "minimize",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "satisfy",
|
|
"named": false
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "if_then_else",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "include",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "string_literal",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "indexed_access",
|
|
"named": true,
|
|
"fields": {
|
|
"collection": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"indices": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "infix_operator",
|
|
"named": true,
|
|
"fields": {
|
|
"left": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"operator": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "!=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "*",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "+",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "++",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "-",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "->",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "..",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "/",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "/\\",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "::",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<-",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<->",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "==",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ">",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ">=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "\\/",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "^",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "diff",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "div",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "in",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "intersect",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "mod",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "subset",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "superset",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "symdiff",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "union",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "xor",
|
|
"named": false
|
|
}
|
|
]
|
|
},
|
|
"right": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "let_expression",
|
|
"named": true,
|
|
"fields": {
|
|
"in": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"let": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ";",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "constraint",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "declaration",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "output",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "parenthesised_expression",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "predicate",
|
|
"named": true,
|
|
"fields": {
|
|
"annotations": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "::",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"expr": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"name": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"parameters": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "(",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ")",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ":",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
}
|
|
]
|
|
},
|
|
"type": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "predicate",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "test",
|
|
"named": false
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "prefix_operator",
|
|
"named": true,
|
|
"fields": {
|
|
"operator": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "-",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "not",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "¬",
|
|
"named": false
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "primitive_type",
|
|
"named": true,
|
|
"fields": {}
|
|
},
|
|
{
|
|
"type": "set_comprehension",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "generator",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "set_literal",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "source_file",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "_item",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "string_content",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "escape_sequence",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "string_interpolation",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "string_content",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "string_literal",
|
|
"named": true,
|
|
"fields": {}
|
|
},
|
|
{
|
|
"type": "type_base",
|
|
"named": true,
|
|
"fields": {
|
|
"opt": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "opt",
|
|
"named": false
|
|
}
|
|
]
|
|
},
|
|
"set": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "of",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "set",
|
|
"named": false
|
|
}
|
|
]
|
|
},
|
|
"var_par": {
|
|
"multiple": false,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "par",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "var",
|
|
"named": false
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"children": {
|
|
"multiple": false,
|
|
"required": true,
|
|
"types": [
|
|
{
|
|
"type": "_expression",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "primitive_type",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "!=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "\"",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "(",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ")",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "*",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "+",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "++",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ",",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "-",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "->",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "..",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "/",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "/\\",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ":",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "::",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ";",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<-",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<->",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "<=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "==",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ">",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": ">=",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "[",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "\\(",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "\\/",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "]",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "^",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "absent",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "ann",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "annotation",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "array",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "bool",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "constraint",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "diff",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "div",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "else",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "elseif",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "endif",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "enum",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "escape_sequence",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "false",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "float",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "float_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "function",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "if",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "in",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "include",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "int",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "integer_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "intersect",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "let",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "maximize",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "minimize",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "mod",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "not",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "of",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "opt",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "output",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "par",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "predicate",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "satisfy",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "set",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "solve",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "string",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "subset",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "superset",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "symdiff",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "test",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "then",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "true",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "union",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "var",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "where",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "xor",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "{",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "|",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "}",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "¬",
|
|
"named": false
|
|
}
|
|
] |