Evaluation of GEQ would generate incorrect exception message if second argument to GEQ was of incorrect type.
Evaluation of GEQ would generate incorrect exception message if second argument to GEQ was of incorrect type.

[Bug][TLC]

lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus