031.txtar

Documentation: cuelang.org/go/cue/testdata/export

     1# DO NOT EDIT; generated by go run testdata/gen.go
     2#
     3raw: true
     4eval: true
     5-- in.cue --
     6{
     7	A: [uint]
     8	B: A & ([10] | [192])
     9}
    10-- out/def --
    11A: [>=0]
    12B: 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 --
    28Leaks:  0
    29Freed:  8
    30Reused: 3
    31Allocs: 5
    32Retain: 0
    33
    34Unifications: 6
    35Conjuncts:    13
    36Disjuncts:    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}

View as plain text