raw: true
eval: true
noOpt: true
#inlinetest:exclude skip — tests export format, not evaluator semantics
-- in.cue --
{
	#And: {
		#: "Fn::And": [...(3 | #And)]
	}
	#Ands: #And & {
		#: "Fn::And": [_]
	}
}
-- out/eval/stats --
Leaks:  0
Freed:  12
Reused: 2
Allocs: 10
Retain: 0

Unifications: 10
Conjuncts:    19
Disjuncts:    2

NumCloseIDs: 3
-- out/evalalpha --
(struct){
  #And: (#struct){
    #: (#struct){
      "Fn::And": (list){
      }
    }
  }
  #Ands: (#struct){
    #: (#struct){
      "Fn::And": (#list){
        0: ((int|struct)){ |((int){ 3 }, (#struct){
            #: (#struct){
              "Fn::And": (list){
              }
            }
          }) }
      }
    }
  }
}
