cuelang.org/go@v0.13.0/cue/testdata/export/031.txtar (about)

     1  raw: true
     2  eval: true
     3  -- in.cue --
     4  {
     5  	A: [uint]
     6  	B: A & ([10] | [192])
     7  }
     8  -- out/def --
     9  A: [>=0]
    10  B: A & ([10] | [192])
    11  -- out/compile --
    12  --- in.cue
    13  {
    14    {
    15      A: [
    16        &(int, >=0),
    17      ]
    18      B: (怈0;A怉 & ([
    19        10,
    20      ]|[
    21        192,
    22      ]))
    23    }
    24  }
    25  -- out/eval/stats --
    26  Leaks:  0
    27  Freed:  8
    28  Reused: 3
    29  Allocs: 5
    30  Retain: 0
    31  
    32  Unifications: 6
    33  Conjuncts:    13
    34  Disjuncts:    8
    35  -- out/eval --
    36  (struct){
    37    A: (#list){
    38      0: (int){ &(>=0, int) }
    39    }
    40    B: (list){ |((#list){
    41        0: (int){ 10 }
    42      }, (#list){
    43        0: (int){ 192 }
    44      }) }
    45  }