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

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