cuelang.org/go@v0.10.1/cue/testdata/definitions/issue483.txtar (about)

     1  -- in.cue --
     2  out: {
     3  	instance
     4  }
     5  instance: #Type & {
     6  	alpha: bravo: charlie: true
     7  }
     8  #Type: #Root & {
     9  	alpha?: bravo?: charlie?: bool
    10  }
    11  #Root: {...}
    12  -- out/eval/stats --
    13  Leaks:  0
    14  Freed:  14
    15  Reused: 7
    16  Allocs: 7
    17  Retain: 3
    18  
    19  Unifications: 14
    20  Conjuncts:    35
    21  Disjuncts:    17
    22  -- out/eval --
    23  (struct){
    24    out: (#struct){
    25      alpha: (#struct){
    26        bravo: (#struct){
    27          charlie: (bool){ true }
    28        }
    29      }
    30    }
    31    instance: (#struct){
    32      alpha: (#struct){
    33        bravo: (#struct){
    34          charlie: (bool){ true }
    35        }
    36      }
    37    }
    38    #Type: (#struct){
    39      alpha?: (#struct){
    40        bravo?: (#struct){
    41          charlie?: (bool){ bool }
    42        }
    43      }
    44    }
    45    #Root: (#struct){
    46    }
    47  }
    48  -- out/compile --
    49  --- in.cue
    50  {
    51    out: {
    52      〈1;instance〉
    53    }
    54    instance: (〈0;#Type〉 & {
    55      alpha: {
    56        bravo: {
    57          charlie: true
    58        }
    59      }
    60    })
    61    #Type: (〈0;#Root〉 & {
    62      alpha?: {
    63        bravo?: {
    64          charlie?: bool
    65        }
    66      }
    67    })
    68    #Root: {
    69      ...
    70    }
    71  }