2022-12-09 23:34:29 +01:00
|
|
|
[
|
|
|
|
Expression {
|
|
|
|
expr: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
3,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
right: Variable(
|
2022-12-10 15:24:55 +01:00
|
|
|
SimpleVariable(
|
|
|
|
SimpleVariable {
|
|
|
|
span: (
|
|
|
|
3,
|
|
|
|
2,
|
|
|
|
),
|
|
|
|
name: "a",
|
|
|
|
},
|
|
|
|
),
|
2022-12-09 23:34:29 +01:00
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
Expression {
|
|
|
|
expr: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
4,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
right: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
4,
|
|
|
|
2,
|
|
|
|
),
|
|
|
|
right: Variable(
|
2022-12-10 15:24:55 +01:00
|
|
|
SimpleVariable(
|
|
|
|
SimpleVariable {
|
|
|
|
span: (
|
|
|
|
4,
|
|
|
|
3,
|
|
|
|
),
|
|
|
|
name: "b",
|
|
|
|
},
|
|
|
|
),
|
2022-12-09 23:34:29 +01:00
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
Expression {
|
|
|
|
expr: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
5,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
right: Variable(
|
2022-12-10 15:24:55 +01:00
|
|
|
SimpleVariable(
|
|
|
|
SimpleVariable {
|
|
|
|
span: (
|
|
|
|
5,
|
|
|
|
3,
|
|
|
|
),
|
|
|
|
name: "a",
|
|
|
|
},
|
|
|
|
),
|
2022-12-09 23:34:29 +01:00
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
Expression {
|
|
|
|
expr: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
6,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
right: LogicalOperation(
|
|
|
|
Not {
|
|
|
|
span: (
|
|
|
|
6,
|
|
|
|
3,
|
|
|
|
),
|
|
|
|
right: Variable(
|
2022-12-10 15:24:55 +01:00
|
|
|
SimpleVariable(
|
|
|
|
SimpleVariable {
|
|
|
|
span: (
|
|
|
|
6,
|
|
|
|
5,
|
|
|
|
),
|
|
|
|
name: "a",
|
|
|
|
},
|
|
|
|
),
|
2022-12-09 23:34:29 +01:00
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
),
|
|
|
|
},
|
|
|
|
]
|