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.
|