В компиляторе скрыто множество %foo специальных примитивов. Я думаю, что лучший список доступен в bytecomp/translcore.ml, в источниках компилятора ocaml. Посмотрим, сколько я могу перечислить здесь:
- Сравнения:% равно,% меньше,% меньше,% больше,% меньше,% велико,% сравнить
Эти сравнения имеют специализированные версии для int, float, string, nativeint, int32 и int64 и будут автоматически специализироваться, если типы известны во время компиляции.
- Другие примитивы:
%identity, %ignore, %field0, %field1, %setfield0, %makeblock, %makemutable, %raise, %incr, %decr, %seqand, %seqor, %boolnot
- Int ops:
%negint, %succint, %predint, %addint, %subint, %mulint, %divint, %modint, %andint, %orint, %xorint, %lslint, %lsrint, %asrint
- Int компараторы (??):
%eq, %noteq, %ltint, %leint, %gtint, %geint
- Операции с плавающей точкой:
%intoffloat, %floatofint, %negfloat, %absfloat, %addfloat, %subfloat, %mulfloat, %divfloat
- Поплавковые компараторы:
%eqfloat, %noteqfloat, %ltfloat, %lefloat, %gtfloat, %gefloat
- Строковые операции:
%string_length, %string_safe_get, %string_safe_set, %string_unsafe_get, %string_unsafe_set
- Array ops:
%array_length, %array_safe_get, %array_safe_set, %array_unsafe_get, %array_unsafe_set
- Манипулирование объектами:
%obj_size, %obj_field, %obj_set_field, %obj_is_int
- Ленивый:
%lazy_force
- Nativeint, int32, int64 ops:
%{nativeint,int32,int64}: _of_int, _to_int, _neg, _add, _sub, _mul, _div, _mod, _and, _or, _xor, _lsl, _lsr, _asr
- Int преобразования:
%nativeint_{of,to}_int32, int64_{of,to}_int32, int64_{of,to}_nativeint
- Операции Bigarray:
%caml_ba_ref_{1,2,3}, %caml_ba_set_{1,2,3}, %caml_ba_unsafe_ref_{1,2,3}, %caml_ba_unsafe_set_{1,2,3}
- Ориентированность на объект:
%send, %sendself, %sendcache
Это все, что я могу найти.