RootedLabeledTrees
A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.
The type space of RootedLabeledTree -- Element(x, RootedLabeledTrees) is True for a RootedLabeledTree(...) value, False for one of another carrier.
RootedLabeledTrees: set<rooted_labeled_tree>
Examples
About
| Examples | 1 |
|---|