9 Annotations

8.12

annotation

Equivalent to Int.in(0, 1000000).

annotation

Satisfied by a list containing two maybe(SizeInteger)s.

annotation

Equivalent to Int.in(-1000000, 1000000).

annotation

Satisfied by #'center or a list containing two PositionIntegers.

annotation

Equivalent to Int.in(0, 1000).

annotation

Satisfied by a list containing two SpacingIntegers.

annotation

Satisfied by a list containing two symbols: #'left, #'center, or #'right, and #'top, #'center, or #'bottom.

annotation

Satisfied by a list containing two Booleans.

annotation

Satisfied by a string whose length is less than 200 characters.