cuelang.org/go@v0.13.0/tools/trim/testdata/60.txtar (about)

     1  Similar to 10, but with non-redundant constraints in the pattern.
     2  
     3  -- a.cue --
     4  d: [
     5  	{name: "jack",    age: 5},
     6  	{name: "gill",    age: >4},
     7  	{name: "hilbert", age: int},
     8  ]
     9  d: [...{name: string, age: int}]
    10  -- out/trim --
    11  == a.cue
    12  d: [
    13  	{name: "jack", age: 5},
    14  	{name: "gill", age: >4},
    15  	{name: "hilbert"},
    16  ]
    17  d: [...{name: string, age: int}]