Add comparison operators returning bool
Clarification and motivation
That's hilarious, but when #a <. #b
Lorentz' feature is used, one sometimes has to write if ... then True else False
. This indeed can be optimized (currently it is not), but we better add a sane way to write the same thing.
So would be nice to have operators of Label n1 -> Label n2 -> (n1 :! a) : (n2 :! a) : s :-> Bool s
signature.
We need to think how to provide the new functionality so that it does not collide we existing operators. Maybe call them not with a dot but another symbol?
Then we probably can use these new operators in the implementation of <.
, ==.
and others.
Acceptance criteria
- Binary comparison operators with the mentioned signature are added.