-- list.yaml --
type: object

properties:
  foo:
    type: array
    items:
      type: string

  tuple:
    type: array
    items:
      - type: string
      - type: integer
      - const: 2

  has:
    type: array
    contains:
      const: 3

  size:
    type: array
    minItems: 3
    maxItems: 9
    uniqueItems: true

  additional:
    type: array
    items:
      - type: integer
      - type: integer
    additionalItems:
      type: string

additionalProperties: false

-- out.cue --
import "list"

Schema :: {
	foo?: [...string]
	tuple?: [string, int, 2]
	has?:  list.Contains(3)
	size?: [_, _, _, ...] & list.MaxItems(9) & list.UniqueItems()
	additional?: [int, int, ...string]
}