Assertion: generic unit | /r/CapableOf | preserve type safety
Facets:
Source sentences:
text: Also, generic units preserve type safety by ensuring that a generic type that has one set of units is a different type than the same generic type with a different set of units.