Assertion: expression's type | /r/HasProperty | underlying
Facets:
Source sentences:
text: A computation expression has an underlying type, which the expression returns.