# DO NOT EDIT; generated by go run testdata/gen.go
#
raw: true
-- in.cue --
{a: >=0 & <=10, b: "Count: \(a) times"}
-- out/def --
a: >=0 & <=10
b: "Count: \(a) times"
-- out/compile --
--- in.cue
{
  {
    a: (>=0 & <=10)
    b: "Count: \(〈0;a〉) times"
  }
}