#::

scala

+:

scala

:+

scala

::

scala

<:<

Adt

<==

XtensionImplication

<==>

XtensionImplication

==>

XtensionImplication