> Syntactically and semantically there is no difference.  I was wondering if
> the ocamlopt compiler took advatange of the implicit paralellism at all.

If someone tries to use such things as `and' or
unspecified-argument-evaluation-order in the hopes that the compiler will
extract some imagined parallelism is simply deluding himself.
In some cases, the freedom to execute in any order does lead to better
code, but that code rarely if ever uses any kind of parallelism.


        Stefan