#+
PStream
+
PStreamGen
WindowGen
Timeout
++
PStreamGen
WindowGen
-
Timeout
:<:
scalaz
:≺:
scalaz
<~
scalaz
==>
Formula
=?>
scalaz
@>
scalaz
@?>
scalaz
@@
scalaz
|-->
scalaz
|>=|
scalaz
~>
scalaz
~~>
scalaz
∨
scalaz
⊤
scalaz
⊥
scalaz