Skip to content

Instantly share code, notes, and snippets.

@gamebox

gamebox/branch_output.rs

Created December 5, 2024 22:22
Show Gist options
  • Save gamebox/263f29ef1618f55f82e3fff373ad1829 to your computer and use it in GitHub Desktop.
Save gamebox/263f29ef1618f55f82e3fff373ad1829 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
branch_output.rs
[
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 227,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 231,
layout: InLayout(U8),
pat: IntLiteral(
[
109,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 233,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
0,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 248,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 252,
layout: InLayout(U8),
pat: IntLiteral(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 254,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
1,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 269,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingMulStartM',
tag_id: 4,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 273,
layout: InLayout(U8),
pat: IntLiteral(
[
117,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 275,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
2,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 290,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingMulStartMU',
tag_id: 5,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 294,
layout: InLayout(U8),
pat: IntLiteral(
[
108,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 296,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
3,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 311,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartD',
tag_id: 0,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 315,
layout: InLayout(U8),
pat: IntLiteral(
[
111,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 317,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
4,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 332,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 336,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 338,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
5,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 353,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDoClose',
tag_id: 8,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 357,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 359,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
6,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 375,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 379,
layout: InLayout(U8),
pat: IntLiteral(
[
110,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 381,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
7,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 396,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDontStartDON',
tag_id: 2,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 399,
layout: InLayout(U8),
pat: IntLiteral(
[
39,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 401,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
8,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 416,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDontStartDON2',
tag_id: 3,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 420,
layout: InLayout(U8),
pat: IntLiteral(
[
116,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 422,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
9,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 437,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDontOpen',
tag_id: 10,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 441,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 443,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
10,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 458,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDontClose',
tag_id: 9,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 462,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 464,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
11,
),
(
NoGuard,
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 480,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingMulOpen',
tag_id: 11,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 484,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 486,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
12,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 501,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 503,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 505,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
535,
@2298-2305 Var(
`#UserApp.isDigit`,
534,
),
536,
537,
538,
),
[
(
533,
@2306-2307 Var(
`#UserApp.d`,
532,
),
),
],
Space,
),
identity: CallSpecId {
id: 16,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 501,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 503,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 505,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
13,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 545,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 547,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 549,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
611,
@2415-2417 Var(
`Bool.and`,
610,
),
612,
613,
614,
),
[
(
599,
@2405-2414 Call(
(
595,
@2405-2412 Var(
`#UserApp.isDigit`,
594,
),
596,
597,
598,
),
[
(
593,
@2413-2414 Var(
`#UserApp.d`,
592,
),
),
],
Space,
),
),
(
609,
@2418-2427 Call(
(
605,
@2422-2423 Var(
`Num.isLt`,
604,
),
606,
607,
608,
),
[
(
601,
@2418-2421 Var(
`#UserApp.num`,
600,
),
),
(
603,
@2424-2427 Num(
602,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 21,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 545,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 547,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 549,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
14,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 621,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 625,
layout: InLayout(U8),
pat: IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 627,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
644,
@2546-2547 Var(
`Num.isLt`,
643,
),
645,
646,
647,
),
[
(
640,
@2542-2545 Var(
`#UserApp.num`,
639,
),
),
(
642,
@2548-2552 Num(
641,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 22,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 621,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 625,
layout: InLayout(U8),
pat: IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 627,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
15,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 654,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 656,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 658,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
690,
@2632-2639 Var(
`#UserApp.isDigit`,
689,
),
691,
692,
693,
),
[
(
688,
@2640-2641 Var(
`#UserApp.d`,
687,
),
),
],
Space,
),
identity: CallSpecId {
id: 25,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 654,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 656,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 658,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
16,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 701,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 703,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 705,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
769,
@2753-2755 Var(
`Bool.and`,
768,
),
770,
771,
772,
),
[
(
757,
@2743-2752 Call(
(
753,
@2743-2750 Var(
`#UserApp.isDigit`,
752,
),
754,
755,
756,
),
[
(
751,
@2751-2752 Var(
`#UserApp.d`,
750,
),
),
],
Space,
),
),
(
767,
@2756-2765 Call(
(
763,
@2760-2761 Var(
`Num.isLt`,
762,
),
764,
765,
766,
),
[
(
759,
@2756-2759 Var(
`#UserApp.num`,
758,
),
),
(
761,
@2762-2765 Num(
760,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 30,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 701,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 703,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 705,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
17,
),
(
Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 780,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 784,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 788,
layout: InLayout(
107,
),
pat: BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
815,
@2894-2895 Var(
`Num.isLt`,
814,
),
816,
817,
818,
),
[
(
811,
@2890-2893 Var(
`#UserApp.num`,
810,
),
),
(
813,
@2896-2900 Num(
812,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 32,
},
},
},
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 780,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 784,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 788,
layout: InLayout(
107,
),
pat: BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
18,
),
(
NoGuard,
Underscore,
19,
),
]
FLATTENED: [
Branch {
goal: 0,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 227,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 231,
layout: InLayout(U8),
pat: IntLiteral(
[
109,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 233,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 1,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 248,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 252,
layout: InLayout(U8),
pat: IntLiteral(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 254,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 2,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 269,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingMulStartM',
tag_id: 4,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 273,
layout: InLayout(U8),
pat: IntLiteral(
[
117,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 275,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 3,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 290,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingMulStartMU',
tag_id: 5,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 294,
layout: InLayout(U8),
pat: IntLiteral(
[
108,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 296,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 4,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 311,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartD',
tag_id: 0,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 315,
layout: InLayout(U8),
pat: IntLiteral(
[
111,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 317,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 5,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 332,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 336,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 338,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 6,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 353,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDoClose',
tag_id: 8,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 357,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 359,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 7,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 375,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 379,
layout: InLayout(U8),
pat: IntLiteral(
[
110,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 381,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 8,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 396,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDontStartDON',
tag_id: 2,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 399,
layout: InLayout(U8),
pat: IntLiteral(
[
39,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 401,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 9,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 416,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingDontStartDON2',
tag_id: 3,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 420,
layout: InLayout(U8),
pat: IntLiteral(
[
116,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 422,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 10,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 437,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDontOpen',
tag_id: 10,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 441,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 443,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 11,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 458,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingDontClose',
tag_id: 9,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 462,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 464,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 12,
guard: NoGuard,
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 480,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingMulOpen',
tag_id: 11,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 484,
layout: InLayout(U8),
pat: IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 486,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 13,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 501,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 503,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 505,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
535,
@2298-2305 Var(
`#UserApp.isDigit`,
534,
),
536,
537,
538,
),
[
(
533,
@2306-2307 Var(
`#UserApp.d`,
532,
),
),
],
Space,
),
identity: CallSpecId {
id: 16,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 501,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 503,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 505,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 14,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 545,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 547,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 549,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
611,
@2415-2417 Var(
`Bool.and`,
610,
),
612,
613,
614,
),
[
(
599,
@2405-2414 Call(
(
595,
@2405-2412 Var(
`#UserApp.isDigit`,
594,
),
596,
597,
598,
),
[
(
593,
@2413-2414 Var(
`#UserApp.d`,
592,
),
),
],
Space,
),
),
(
609,
@2418-2427 Call(
(
605,
@2422-2423 Var(
`Num.isLt`,
604,
),
606,
607,
608,
),
[
(
601,
@2418-2421 Var(
`#UserApp.num`,
600,
),
),
(
603,
@2424-2427 Num(
602,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 21,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 545,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 547,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 549,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 15,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 621,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 625,
layout: InLayout(U8),
pat: IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 627,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
644,
@2546-2547 Var(
`Num.isLt`,
643,
),
645,
646,
647,
),
[
(
640,
@2542-2545 Var(
`#UserApp.num`,
639,
),
),
(
642,
@2548-2552 Num(
641,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 22,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 621,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 625,
layout: InLayout(U8),
pat: IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 627,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 16,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 654,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 656,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 658,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
690,
@2632-2639 Var(
`#UserApp.isDigit`,
689,
),
691,
692,
693,
),
[
(
688,
@2640-2641 Var(
`#UserApp.d`,
687,
),
),
],
Space,
),
identity: CallSpecId {
id: 25,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 654,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 656,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 658,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 17,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 701,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 703,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 705,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
769,
@2753-2755 Var(
`Bool.and`,
768,
),
770,
771,
772,
),
[
(
757,
@2743-2752 Call(
(
753,
@2743-2750 Var(
`#UserApp.isDigit`,
752,
),
754,
755,
756,
),
[
(
751,
@2751-2752 Var(
`#UserApp.d`,
750,
),
),
],
Space,
),
),
(
767,
@2756-2765 Call(
(
763,
@2760-2761 Var(
`Num.isLt`,
762,
),
764,
765,
766,
),
[
(
759,
@2756-2759 Var(
`#UserApp.num`,
758,
),
),
(
761,
@2762-2765 Num(
760,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 30,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 701,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 703,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 705,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 18,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 780,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 784,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 788,
layout: InLayout(
107,
),
pat: BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
815,
@2894-2895 Var(
`Num.isLt`,
814,
),
816,
817,
818,
),
[
(
811,
@2890-2893 Var(
`#UserApp.num`,
810,
),
),
(
813,
@2896-2900 Num(
812,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 32,
},
},
},
patterns: [
(
[],
TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 780,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 784,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 788,
layout: InLayout(
107,
),
pat: BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
),
],
},
Branch {
goal: 19,
guard: NoGuard,
patterns: [
(
[],
Underscore,
),
],
},
]
FLATTENED: [
Branch {
goal: 0,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
109,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 1,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'LookingForOpStart',
tag_id: 14,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 2,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingMulStartM',
tag_id: 4,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
117,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 3,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingMulStartMU',
tag_id: 5,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
108,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 4,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingDoOrDontStartD',
tag_id: 0,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
111,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 5,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 6,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingDoClose',
tag_id: 8,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 7,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingDoOrDontStartDO',
tag_id: 1,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
110,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 8,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingDontStartDON',
tag_id: 2,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
39,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 9,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingDontStartDON2',
tag_id: 3,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
116,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 10,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingDontOpen',
tag_id: 10,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 11,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingDontClose',
tag_id: 9,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 12,
guard: NoGuard,
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingMulOpen',
tag_id: 11,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
40,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 13,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 501,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 503,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 505,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
535,
@2298-2305 Var(
`#UserApp.isDigit`,
534,
),
536,
537,
538,
),
[
(
533,
@2306-2307 Var(
`#UserApp.d`,
532,
),
),
],
Space,
),
identity: CallSpecId {
id: 16,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingX',
tag_id: 12,
arguments: [],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
Identifier(
`#UserApp.d`,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 14,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 545,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 547,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 549,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
611,
@2415-2417 Var(
`Bool.and`,
610,
),
612,
613,
614,
),
[
(
599,
@2405-2414 Call(
(
595,
@2405-2412 Var(
`#UserApp.isDigit`,
594,
),
596,
597,
598,
),
[
(
593,
@2413-2414 Var(
`#UserApp.d`,
592,
),
),
],
Space,
),
),
(
609,
@2418-2427 Call(
(
605,
@2422-2423 Var(
`Num.isLt`,
604,
),
606,
607,
608,
),
[
(
601,
@2418-2421 Var(
`#UserApp.num`,
600,
),
),
(
603,
@2424-2427 Num(
602,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 21,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
Identifier(
`#UserApp.d`,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 15,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 621,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 625,
layout: InLayout(U8),
pat: IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 627,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
644,
@2546-2547 Var(
`Num.isLt`,
643,
),
645,
646,
647,
),
[
(
640,
@2542-2545 Var(
`#UserApp.num`,
639,
),
),
(
642,
@2548-2552 Num(
641,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 22,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingX',
tag_id: 6,
arguments: [
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
44,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 16,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 654,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 656,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 658,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
690,
@2632-2639 Var(
`#UserApp.isDigit`,
689,
),
691,
692,
693,
),
[
(
688,
@2640-2641 Var(
`#UserApp.d`,
687,
),
),
],
Space,
),
identity: CallSpecId {
id: 25,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'ExpectingY',
tag_id: 13,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
Identifier(
`#UserApp.d`,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 17,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 701,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 703,
layout: InLayout(U8),
pat: Identifier(
`#UserApp.d`,
),
},
TupleDestruct {
index: 2,
variable: 705,
layout: InLayout(
107,
),
pat: Underscore,
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
769,
@2753-2755 Var(
`Bool.and`,
768,
),
770,
771,
772,
),
[
(
757,
@2743-2752 Call(
(
753,
@2743-2750 Var(
`#UserApp.isDigit`,
752,
),
754,
755,
756,
),
[
(
751,
@2751-2752 Var(
`#UserApp.d`,
750,
),
),
],
Space,
),
),
(
767,
@2756-2765 Call(
(
763,
@2760-2761 Var(
`Num.isLt`,
762,
),
764,
765,
766,
),
[
(
759,
@2756-2759 Var(
`#UserApp.num`,
758,
),
),
(
761,
@2762-2765 Num(
760,
"100",
I128(
[
100,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I8,
},
),
),
],
BinOp(
LessThan,
),
),
),
],
BinOp(
And,
),
),
identity: CallSpecId {
id: 30,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
Identifier(
`#UserApp.d`,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
Underscore,
),
],
},
Branch {
goal: 18,
guard: Guard {
pattern: TupleDestructure(
[
TupleDestruct {
index: 0,
variable: 780,
layout: InLayout(
106,
),
pat: AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
TupleDestruct {
index: 1,
variable: 784,
layout: InLayout(U8),
pat: IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
},
TupleDestruct {
index: 2,
variable: 788,
layout: InLayout(
107,
),
pat: BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
},
],
[
InLayout(
106,
),
InLayout(U8),
InLayout(
107,
),
],
),
stmt_spec: GuardStmtSpec {
guard_expr: Call(
(
815,
@2894-2895 Var(
`Num.isLt`,
814,
),
816,
817,
818,
),
[
(
811,
@2890-2893 Var(
`#UserApp.num`,
810,
),
),
(
813,
@2896-2900 Num(
812,
"1000",
I128(
[
232,
3,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
),
AtLeastIntOrFloat {
sign: NoDemand,
width: I16,
},
),
),
],
BinOp(
LessThan,
),
),
identity: CallSpecId {
id: 32,
},
},
},
patterns: [
(
[
TagIndex {
index: 0,
tag_id: 0,
},
],
AppliedTag {
tag_name: 'BuildingY',
tag_id: 7,
arguments: [
(
Identifier(
`#UserApp.x`,
),
InLayout(I64),
),
(
Identifier(
`#UserApp.num`,
),
InLayout(I64),
),
],
layout: NonRecursive(
[
[],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[
InLayout(I64),
InLayout(I64),
],
[],
[],
[],
[],
[],
[
InLayout(I64),
],
[],
],
),
union: Union {
alternatives: [
Ctor {
name: Tag(
'BuildingDoOrDontStartD',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDoOrDontStartDO',
),
tag_id: TagId(
1,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON',
),
tag_id: TagId(
2,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingDontStartDON2',
),
tag_id: TagId(
3,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartM',
),
tag_id: TagId(
4,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingMulStartMU',
),
tag_id: TagId(
5,
),
arity: 0,
},
Ctor {
name: Tag(
'BuildingX',
),
tag_id: TagId(
6,
),
arity: 1,
},
Ctor {
name: Tag(
'BuildingY',
),
tag_id: TagId(
7,
),
arity: 2,
},
Ctor {
name: Tag(
'ExpectingDoClose',
),
tag_id: TagId(
8,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontClose',
),
tag_id: TagId(
9,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingDontOpen',
),
tag_id: TagId(
10,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingMulOpen',
),
tag_id: TagId(
11,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingX',
),
tag_id: TagId(
12,
),
arity: 0,
},
Ctor {
name: Tag(
'ExpectingY',
),
tag_id: TagId(
13,
),
arity: 1,
},
Ctor {
name: Tag(
'LookingForOpStart',
),
tag_id: TagId(
14,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
(
[
TagIndex {
index: 1,
tag_id: 0,
},
],
IntLiteral(
[
41,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
],
U8,
),
),
(
[
TagIndex {
index: 2,
tag_id: 0,
},
],
BitLiteral {
value: true,
tag_name: 'Enabled',
union: Union {
alternatives: [
Ctor {
name: Tag(
'Disabled',
),
tag_id: TagId(
0,
),
arity: 0,
},
Ctor {
name: Tag(
'Enabled',
),
tag_id: TagId(
1,
),
arity: 0,
},
],
render_as: Tag,
},
},
),
],
},
Branch {
goal: 19,
guard: NoGuard,
patterns: [
(
[],
Underscore,
),
],
},
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment