Name _!=_
Definition (a:val(T:type)) != (b:val(T)) : expr(bool)
Example if (answer!=3) then print("No!")
Defined in ops.l
Implementation icode
Infix _!=_ : infix(140,left).
Description Polymorphic inequality relation.
Notes Now works correctly for strings.