The type of a when condition: it contains both the predicate and the mode (ie when the predicate must be checked).
The interaction data type
The predicate.
The interaction data.
The type of the when
Generated using TypeDoc
The type of a when condition: it contains both the predicate and the mode (ie when the predicate must be checked).