Assertion: racket | /r/HasProperty | list-length
Facets:
Source sentences:
text: #lang typed/racket ( : list-length ( All ( A ) ( ->