# 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,
    ]))
  }
}
-- out/eval/stats --
Leaks:  0
Freed:  8
Reused: 3
Allocs: 5
Retain: 0

Unifications: 6
Conjuncts:    13
Disjuncts:    8
-- out/eval --
(struct){
  A: (#list){
    0: (int){ &(>=0, int) }
  }
  B: (list){ |((#list){
      0: (int){ 10 }
    }, (#list){
      0: (int){ 192 }
    }) }
}