Assertion: expression's type | /r/CapableOf | be cexptypeunit
Facets:
value: for other computation expressions
type: PURPOSE
Source sentences:
text: For other computation expressions, the type is likely to be CExpType<unit> .