isNothing package:sbv

Check if the symbolic value is nothing.
>>> isNothing (sNothing :: SMaybe Integer)
True

>>> isNothing (sJust (literal "nope"))
False