Assertion: address | /r/CapableOf | pointer arithmetic
Facets:
Source sentences:
text: To preserve safety and efficient implementations, references cannot be type-cast in ML, nor can pointer arithmetic be performed.