| infix: |
infixr |
| name: |
\/ |
| precedence: |
2 |
| signature: |
Dimacs.Types.Boolean -> Dimacs.Types.Boolean -> Dimacs.Types.Boolean |