Assertion: container | /r/HasProperty | abstraction
Facets:
value: in type theory
type: OTHER
Source sentences:
text: In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way.