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