This Commented CUE demonstrates how to validate an integer value’s parity.

Two schemas #Odd and #Even are presented that validate an integer is either odd or even respectively.

file.cue
package example

#Even: num=(2 * div(num, 2))
#Odd:  num=(1 + 2*div(num, 2))

valid: {
	"-27": -27 & #Odd
	"-22": -22 & #Even
	"42":  42 & #Even
	"47":  47 & #Odd
}

invalid: {
	"-37": -37 & #Even
	"-32": -32 & #Odd
	"52":  52 & #Odd
	"57":  57 & #Even
}
TERMINAL
$ cue vet
invalid."-32": conflicting values -31 and -32:
    ./file.cue:4:13
    ./file.cue:15:9
    ./file.cue:15:15
invalid."-37": conflicting values -38 and -37:
    ./file.cue:3:13
    ./file.cue:14:9
    ./file.cue:14:15
invalid."52": conflicting values 53 and 52:
    ./file.cue:4:13
    ./file.cue:16:9
    ./file.cue:16:14
invalid."57": conflicting values 56 and 57:
    ./file.cue:3:13
    ./file.cue:17:9
    ./file.cue:17:14