Assertion: tree | /r/DefinedAs | constructor
Facets:
Source sentences:
text: In terms of type theory, a tree is an inductive type defined by the constructors nil (empty forest) and node