!=
Gen
!==
Gen
&&
Prop Result
+
FreqMap
++
Prop Result FreqMap
-
FreqMap
--
FreqMap
:|
Gen Prop ExtendedBoolean
==
Gen Prop
==>
Prop ExtendedBoolean Result
=?
Prop ExtendedAny
?=
Prop ExtendedAny
|:
Gen Prop ExtendedBoolean
||
Prop Result