> The above toplevel session shows that the associativity of newly defined
> operators depends on the name of the operator itself. Is there a general rule to
> determine the associativity of the operator?

Section 6.7 of the manual, there is a table giving the associativity of
the operators (and other constructions):

	http://caml.inria.fr/pub/docs/manual-ocaml/manual015.html


Hope this helps,
Julien
-- 
mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)