9 Annotations

8.17.0.1

annotation

Equivalent to Int.in(0, 1000000).

annotation

Satisfied by a list containing two maybe(View.SizeInt)s.

annotation

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

annotation

Satisfied by #'center or a list containing two View.PositionInts.

annotation

Equivalent to Int.in(0, 1000).

annotation

Satisfied by a list containing two View.SpacingInts.

annotation

enumeration

enumeration

A View.Alighment is a 2-element list containing a View.HorizAlignment and a View.VertAlignment.

annotation

Satisfied by a list containing two Booleans.

annotation

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