[mercury-users] Operator precedence of =>

[Richard A. O'Keefe]

If I could follow up Lee Naish's eminently sensible advice,
may I suggest that multiconjunct quantifiers be laid out
like the Lisp 'let' expressions they so much resemble?
Here's what I mean.

    (all [<vars>]		% like (let (<bindings>)
	<conjunction>		%          <expressions>)
     =>
	<conjunction>
    )

Of course, for that to work well, implication does have to have
wider scope than conjunction, which it *must* in any sensible
assignment of operator priorities.