Assertion: expression's type | /r/HasProperty | unit
Facets:
value: for the async workflow
type: PURPOSE
Source sentences:
text: If there is no explicit else branch, its type is unit .
text: For the async workflow, this type is Async<unit> .
text: For other computation expressions, the type is likely to be CExpType<unit> .