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.UReStrParserType
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 |
]