type set_notation = [ | `Set of USet.t |
| `Property of string |
| `Intr of set_notation * set_notation |
| `Union of set_notation * set_notation |
| `Diff of set_notation * set_notation |
| `Compl of set_notation |
]Private.UReStrParserTypetype set_notation = [ | `Set of USet.t |
| `Property of string |
| `Intr of set_notation * set_notation |
| `Union of set_notation * set_notation |
| `Diff of set_notation * set_notation |
| `Compl of set_notation |
]