@@ -682,9 +682,6 @@ opRightToDocs localizer category op tipe expectedType =
682 "==" -> badEquality localizer "==" tipe expectedType
682 "==" -> badEquality localizer "==" tipe expectedType
683 "/=" -> badEquality localizer "/=" tipe expectedType
683 "/=" -> badEquality localizer "/=" tipe expectedType
686− error "TODO see if people want ++ instead?"
689 EmphRight
686 EmphRight