Name _=_
Definition (a:val(T:type)) = (b:val(T)) : expr(bool)
Example 5=5
Defined in ops.l
Implementation icode
Infix _=_ : infix(140,left).
Description Polymorphic equality relation.
Notes Now works correctly for strings.