[Maude-help] Fwd: Error message: associative operators

[Steven Eker]

On Friday 25 November 2005 09:53, Craig Ugoretz wrote:
> I apologize, the declaration for the operator * should read:
>
>      op _*_  : Elt KI -> KI [assoc comm prec 2] .
>
>                                                       Craig

This would appear to be the wrong way around - in Maude, smaller precs mean 
tigher binding. This is a hang over from Maude's immediate predecessor, OBJ3.

Steven