Minor syntax extension not implemented yet: - e1 <= e2 <= e3 - e1 <= e2 < e3 - e1 < e2 <= e3 - e1 < e2 < e3 Note that this overlaps a bit with set membership tests "e2 in {e1 .. e3}" but is more flexible.
Minor syntax extension not implemented yet:
Note that this overlaps a bit with set membership tests "e2 in {e1 .. e3}" but is more flexible.