2PolyML gives a warning because the identifier has infix status, but is not infixed here. To avoid such warnings, we may precede such occurrences of infix identifiers with the keyword op. (Later, we will see that the warnings are not entirely gratuitous: the keyword op is needed to allow us to pass infix functions as values.)