This condition subtype represents all available unary conditions. (operations with a single operand)
tagged union type
The operand for any unary condition on which to operate using the type.
See Implementation
This condition subtype represents all available unary conditions. (operations with a single operand)