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