Assertion: variable's number | /r/HasProperty | independent of the elementstypes
Facets:
Source sentences:
text: Such a length function may be parametric polymorphic by including a type variable in its type signature, since the number of elements in the list is independent of the elements' types.
text: Such a length function may be parametric polymorphic by including a type variable in its type signature, since the number of elements in the list is independent of the elements' types.