UsersetTree
August 28, 2023 ยท View on GitHub
A UsersetTree contains the result of an Expansion.
Properties
| Name | Type | Description | Notes |
|---|---|---|---|
| root | Node | [optional] |
August 28, 2023 ยท View on GitHub
A UsersetTree contains the result of an Expansion.
| Name | Type | Description | Notes |
|---|---|---|---|
| root | Node | [optional] |