Gitly


1 module build_constraint
2 
3 // ast:
4 struct BExpr {
5     expr BOr
6 }
7 
8 struct BOr {
9     exprs []BAnd
10 }
11 
12 struct BAnd {
13     exprs []BUnary
14 }
15 
16 type BUnary = BNot | BExpr | BFact | BDefine
17 
18 struct BNot {
19     expr BUnary
20 }
21 
22 type BFact = string
23 type BDefine = string
24

1	module build_constraint
2
3	// ast:
4	struct BExpr {
5	expr BOr
6	}
7
8	struct BOr {
9	exprs []BAnd
10	}
11
12	struct BAnd {
13	exprs []BUnary
14	}
15
16	type BUnary = BNot \| BExpr \| BFact \| BDefine
17
18	struct BNot {
19	expr BUnary
20	}
21
22	type BFact = string
23	type BDefine = string
24