| # DO NOT EDIT; generated by go run testdata/gen.go | |
| # | |
| raw: true | |
| eval: true | |
| -- in.cue -- | |
| { | |
| A: [uint] | |
| B: A & ([10] | [192]) | |
| } | |
| -- out/def -- | |
| A: [>=0] | |
| B: A & ([10] | [192]) | |
| -- out/compile -- | |
| --- in.cue | |
| { | |
| { | |
| A: [ | |
| &(int, >=0), | |
| ] | |
| B: (〈0;A〉 & ([ | |
| 10, | |
| ]|[ | |
| 192, | |
| ])) | |
| } | |
| } |