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

     1  raw: true
     2  eval: true
     3  -- in.cue --
     4  {
     5  	a: (*1 | 2) & (1 | *2)
     6  	b: [(*1 | 2) & (1 | *2)]
     7  }
     8  -- out/def --
     9  a: 1 | 2 | *_|_
    10  b: [1 | 2 | *_|_]
    11  -- out/compile --
    12  --- in.cue
    13  {
    14    {
    15      a: ((*1|2) & (1|*2))
    16      b: [
    17        ((*1|2) & (1|*2)),
    18      ]
    19    }
    20  }
    21  -- out/eval/stats --
    22  Leaks:  0
    23  Freed:  16
    24  Reused: 9
    25  Allocs: 7
    26  Retain: 0
    27  
    28  Unifications: 4
    29  Conjuncts:    19
    30  Disjuncts:    16
    31  -- out/eval --
    32  (struct){
    33    a: (int){ |((int){ 1 }, (int){ 2 }) }
    34    b: (#list){
    35      0: (int){ |((int){ 1 }, (int){ 2 }) }
    36    }
    37  }