&

List Set List PList

*

Rational Real

+

Map Rational Real Set

++

List Map Set List PList ListArray MapArray

+:

List

-

List Rational Real Set List PList

--

List Set List PList

/

Rational Real

/:

List

:+

List List PList ListArray MapArray

::

collection List collection List PList

:::

List

:\

List

<

Rational Real

<=

Rational Real

<==

LogicalOps

<==>

LogicalOps

==>

BooleanDecorations LogicalOps

==|

WithRel RelReasoning

>

Rational Real

>::

State

>=

Rational Real

>=>

State

>>

State

>>=

State

?

synthesis

?!

synthesis

???

synthesis

^^

WithRel RelReasoning

^^|

WithRel

|

WithProof

~

Rational Bisimulation PList LeftistHeapOps ListHeap

~~

Bisimulation PList LeftistHeapOps