0 | module Syntax.PreorderReasoning.Ops
1 |
2 | export infixl 0  ~~, ~=
3 | export infixl 0  <~
4 | export prefix 1  |~
5 | export infix  1  ...,..<,..>,.=.,.=<,.=>
6 |