Diese `
ist nicht wirklich ein Operator. Es funktioniert auf der lexikalischen Ebene (wie Zitate für Strings) und macht das folgende Symbol zu einer "polymorphen Variante". Siehe den von @Edgar Aroutiounian angegebenen Link:
http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual006.html#toc36
aktualisiert
Eigentlich `
als separates Symbol gescannt wird, wie durch @gsg zur Kenntnis genommen. Eine polymorphe Variante wie ` Abc
ist also ein syntaktisches Konstrukt. Ich würde immer noch behaupten, dass es kein Operator im üblichen Sinne ist.
(Edit:... Geändert Abc Ich wusste nie, sollten sie aktiviert werden, zum Beispiel der lablgl Schnittstelle scheint durchweg niedrigen Fall zu verwenden)
http://caml.inria.fr/pub/ docs/manual-ocaml-4.00/manual006.html # toc36 –