*
MiniInt
+
MiniInt
/
MiniInt
:<:
cats
:≺:
cats
<->
IsEqArrow
|
MiniInt
~>
cats
⊤
cats
⊥
cats