&
Logic
++
Multimap
:<:
scalaz
:≺:
scalaz
<==
Logic
<==>
Logic
<~
scalaz
==>
Logic
=?>
scalaz
@>
scalaz
@?>
scalaz
@@
scalaz
_a
Prop_AnyExt
_l
LogicPropExt
|
Logic
|-->
scalaz
|>=|
scalaz
~>
scalaz
~~>
scalaz
⇐
Logic
⇔
Logic
∀
LogicPropExt
∧
Logic
∨
Logic
scalaz
⊤
scalaz
⊥
scalaz