Индекс значений

Умножение целых чисел.

Возведение в степень.

Умножение чисел с плавающей запятой.

( and* ) — это Result.product.

( and* ) — это Option.product.

( let* ) — это Result.bind.

( let* ) — это Option.bind.

!r возвращает текущее содержимое ссылки r.

Отрицание Repr.phys_equal.

Логическое «И».

e0 && e1 — это ленивое логическое И выражений e0 и e1.

Сложение целых чисел.

Сложение чисел с плавающей запятой.

Вычитание целых чисел.

Вычитание чисел с плавающей запятой.

Деление целых чисел.

Деление чисел с плавающей запятой.

r := a сохраняет значение a в ссылке r.

См. (>=).

См. (>=).

Отрицание Repr.equal.

Псевдоним для Repr.equal. Левоассоциативный оператор; дополнительную информацию см. в разделе Ocaml_operators.

Псевдоним для Repr.phys_equal.

См. (>=).

Функции структурного сравнения.

l0 @ l1 добавляет l1 в конец l0.

Оператор применения: g @@ f @@ x полностью эквивалентен g (f (x)).

Конкатенация строк.

f1 ^^ f2 объединяет форматные строки f1 и f2.

n asr m сдвигает n вправо на m бит.

Поразрядное логическое И.

Поразрядное логическое ИЛИ.

n lsl m сдвигает n влево на m бит.

n lsr m сдвигает n вправо на m бит.

Поразрядное логическое исключающее ИЛИ.

Остаток от деления целых чисел.

Оператор обратного применения: x |> f |> g полностью эквивалентен g (f (x)).

Логическое «ИЛИ».

e0 || e1 — это ленивое логическое ИЛИ выражений e0 и e1.

Унарное сложение.

Унарное сложение.

Унарное отрицание.

Унарное отрицание.

__FILE__ возвращает имя файла, который в данный момент обрабатывает компилятор.

__FUNCTION__ возвращает строку вида "N0n1n2...", где N0 — имя текущего модуля компиляции, а ni — имена областей видимости, последовательно ведущих к месту вызова.

__LINE_OF__ expr возвращает пару (line, expr), где line — номер строки, в которой выражение expr находится в файле, обрабатываемом в данный момент компилятором.

__LINE__ возвращает номер строки, в которой это выражение находится в файле, обрабатываемом в данный момент компилятором.

__LOC_OF__ expr возвращает пару (loc, expr), где loc — местоположение expr в файле, обрабатываемом в данный момент компилятором, в стандартном формате ошибок OCaml: "File %S, line %d, characters %d-%d".

__LOC__ возвращает местоположение этого выражения в файле, обрабатываемом в данный момент компилятором, в стандартном формате ошибок OCaml: "File %S, line %d, characters %d-%d".

__MODULE__ возвращает имя модуля файла, обрабатываемого компилятором.

__POS_OF__ expr возвращает пару (loc,expr), где loc — кортеж (file,lnum,cnum,enum), соответствующий местоположению выражения expr в файле, обрабатываемом в данный момент компилятором.

__POS__ возвращает кортеж (file,lnum,cnum,enum), соответствующий местоположению этого выражения в файле, обрабатываемом в данный момент компилятором.

Немедленно завершает вызывающий процесс и возвращает операционной системе заданный код состояния: обычно 0 означает отсутствие ошибок, а небольшое положительное целое число — сбой.

Немедленно завершает вызывающий процесс и возвращает операционной системе заданный код состояния: обычно 0 означает отсутствие ошибок, а небольшое положительное целое число — сбой.

abs x — абсолютное значение x.

abs x — абсолютное значение x.

abs x — абсолютное значение x.

abs x — абсолютное значение x.

abs x — абсолютное значение x.

abs f возвращает абсолютное значение f.

abs_float f возвращает абсолютное значение f.

Принимает соединения на указанном сокете.

Принимает соединения на указанном сокете.

Проверяет, имеет ли процесс указанные права доступа к файлу с заданным именем.

Проверяет, имеет ли процесс указанные права доступа к файлу с заданным именем.

Арккосинус.

Арккосинус.

Гиперболический арккосинус.

Гиперболический арккосинус.

acquire s блокирует вызывающий поток до тех пор, пока семафор s не примет значение 1 (не станет доступен), затем атомарно устанавливает его в 0 и возвращает управление.

acquire s блокирует вызывающий поток до тех пор, пока значение семафора s не станет отличным от нуля, затем атомарно уменьшает значение s и возвращает управление.

В байткоде — тождественная функция.

add t x добавляет x в t.

add x s возвращает множество, содержащее все элементы s, а также x.

add x q добавляет элемент x в конец очереди q.

add q x добавляет элемент x в очередь с приоритетом q.

Сложение.

add x s возвращает множество, содержащее все элементы s, а также x.

add ~key ~data m возвращает карту с теми же связями, что и m, и дополнительной связью key с data.

Hashtbl.add tbl ~key ~data добавляет в таблицу tbl связь key с data.

add key data m возвращает карту с теми же связями, что и m, и дополнительной связью key с data.

Сложение.

Сложение.

add x y — это сложение x + y.

Hashtbl.add tbl key data добавляет в таблицу tbl связь key с data.

Сложение чисел с плавающей запятой.

Добавляет эпhemeron в корзину.

Добавляет эпhemeron в корзину.

Добавляет эпhemeron в корзину.

Сложение

add_buffer b1 b2 добавляет текущее содержимое буфера b2 в конец буфера b1.

add_bytes b s добавляет последовательность байтов s в конец буфера b.

add_channel b ic n считывает не более n символов из входного канала ic и сохраняет их в конце буфера b.

add_char b c добавляет символ c в конец буфера b.

add_int16_be b i добавляет в b 16-разрядное знаковое целое число i в двоичном формате с прямым порядком байтов.

add_int16_le b i добавляет в b 16-разрядное знаковое целое число i в двоичном формате с обратным порядком байтов.

add_int16_ne b i добавляет в b 16-разрядное знаковое целое число i в двоичном формате с порядком байтов, принятым на данной платформе.

add_int32_be b i добавляет в b 32-разрядное целое число i в двоичном формате с прямым порядком байтов.

add_int32_le b i добавляет в b 32-разрядное целое число i в двоичном формате с обратным порядком байтов.

add_int32_ne b i добавляет в b 32-разрядное целое число i в двоичном формате с порядком байтов, принятым на данной платформе.

add_int64_be b i добавляет в b 64-разрядное целое число i в двоичном формате с прямым порядком байтов.

add_int64_le b i добавляет в b 64-разрядное целое число i в двоичном формате с обратным порядком байтов.

add_int64_ne b i добавляет в b 64-разрядное целое число i в двоичном формате с порядком байтов, принятым на данной платформе.

add_int8 b i добавляет в b 8-разрядное знаковое целое число i в двоичном формате.

add_iter q iter x добавляет каждый элемент x в конец q.

add_last a x добавляет элемент x в конец массива a.

Добавляет элементы последовательности на вершину стека.

Последовательно добавляет заданные элементы в множество.

Добавляет элементы последовательности в конец очереди.

Последовательно добавляет заданные элементы в множество.

Последовательно добавляет заданные связи в карту.

Добавляет заданные связи в таблицу с помощью MoreLabels.Hashtbl.add

Последовательно добавляет заданные связи в карту.

Добавляет заданные связи в таблицу с помощью Hashtbl.add

Добавляет символы в буфер

add_string b s добавляет строку s в конец буфера b.

add_subbytes b s ofs len извлекает len символов, начиная со смещения ofs в последовательности байтов s, и добавляет их в конец буфера b.

add_substitute b f s добавляет шаблон строки s в конец буфера b, выполняя подстановку.

add_substring b s ofs len извлекает len символов, начиная со смещения ofs в строке s, и добавляет их в конец буфера b.

add_symbolic_output_item sob itm добавляет элемент itm в буфер sob.

add_to_list ~key ~data m — это m, в котором key сопоставлен с l, так что l равно data :: Map.find key m, если key было связано в m, и [data] в противном случае.

add_to_list key data m — это m, в котором key сопоставлен с l, так что l равно data :: Map.find key m, если key было связано в m, и [data] в противном случае.

add_uint16_be b i добавляет в b 16-разрядное беззнаковое целое число i в двоичном формате с прямым порядком байтов.

add_uint16_le b i добавляет в b 16-разрядное беззнаковое целое число i в двоичном формате с обратным порядком байтов.

add_uint16_ne b i добавляет в b 16-разрядное беззнаковое целое число i в двоичном формате с порядком байтов, принятым на данной платформе.

add_uint8 b i добавляет в b 8-разрядное беззнаковое целое число i в двоичном формате.

add_user_event ty callback t расширяет t, добавляя подписку на пользовательские события типа ty.

add_utf_16be_uchar b u добавляет кодировку UTF-16BE для u в конец буфера b.

add_utf_16le_uchar b u добавляет кодировку UTF-16LE для u в конец буфера b.

add_utf_8_uchar b u добавляет кодировку UTF-8 для u в конец буфера b.

Запланировать сигнал SIGALRM через указанное число секунд.

Запланировать сигнал SIGALRM через указанное число секунд.

Выровнять строки документации, вставив пробелы у первого разделителя выравнивания (табуляции или, если табуляция не найдена, пробела) с учётом длины ключевого слова.

Возвращает список модулей компиляции, составляющих основную программу, вместе с модулями, динамически загруженными через loadfile (но не через loadfile_private).

Возвращает число байтов, выделенных этим доменом и, возможно, предыдущим доменом.

allow_only units задаёт список разрешённых модулей как пересечение текущего списка разрешённых модулей с указанным списком.

Определяет, разрешена ли динамическая компоновка небезопасных объектных файлов.

always v возвращает событие, всегда готовое к синхронизации.

( and+ ) — это Result.product.

( and+ ) — это Option.product.

append xs ys — это конкатенация последовательностей xs и ys.

append l0 l1 добавляет l1 к l0.

append l0 l1 добавляет l1 к l0.

append v1 v2 возвращает новый неизменяемый массив, содержащий конкатенацию неизменяемых массивов v1 и v2.

append v1 v2 возвращает новый массив вещественных чисел, содержащий конкатенацию массивов вещественных чисел v1 и v2.

append v1 v2 возвращает новый массив вещественных чисел, содержащий конкатенацию массивов вещественных чисел v1 и v2.

append a b подобна append_array a b, но b сама является динамическим массивом, а не массивом фиксированного размера.

append v1 v2 возвращает новый массив, содержащий конкатенацию массивов v1 и v2.

append v1 v2 возвращает новый массив, содержащий конкатенацию массивов v1 и v2.

append_array a b добавляет все элементы b в конец a в том порядке, в котором они расположены в b.

append_iter a iter x добавляет каждый элемент x в конец a.

Подобна Dynarray.append_array, но работает со списком.

Подобна Dynarray.append_array, но работает с последовательностью.

Аргумент.

Аргументы командной строки, переданные процессу.

Возвращает нульмерный Bigarray, соответствующий указанному обобщённому Bigarray.

Возвращает одномерный Bigarray, соответствующий указанному обобщённому Bigarray.

Возвращает двумерный Bigarray, соответствующий указанному обобщённому Bigarray.

Возвращает трёхмерный Bigarray, соответствующий указанному обобщённому Bigarray.

ascii_width s ~pos ~len — это len.

Арксинус.

Арксинус.

Гиперболический арксинус.

Гиперболический арксинус.

То же, что и printf выше, но вместо вывода в форматтер функция возвращает строку, содержащую результат форматирования аргументов.

assoc a l возвращает значение, связанное с ключом a в списке пар l.

assoc a l возвращает значение, связанное с ключом a в списке пар l.

assoc_opt a l возвращает значение, связанное с ключом a в списке пар l.

assoc_opt a l возвращает значение, связанное с ключом a в списке пар l.

То же, что и ListLabels.assoc, но для сравнения ключей используется физическое равенство вместо структурного равенства.

То же, что и List.assoc, но для сравнения ключей используется физическое равенство вместо структурного равенства.

То же, что и ListLabels.assoc_opt, но для сравнения ключей используется физическое равенство вместо структурного равенства.

То же, что и List.assoc_opt, но для сравнения ключей используется физическое равенство вместо структурного равенства.

Зарегистрировать указанную функцию для вызова при завершении программы.

at_exit f регистрирует f для вызова при завершении текущего домена.

Арктангенс.

Арктангенс.

atan2 y x возвращает арктангенс y /. x.

atan2 y x возвращает арктангенс y /. x.

Гиперболический арктангенс.

Гиперболический арктангенс.

Тип бэкенда, на котором в данный момент выполняется программа OCaml.

Возвращает слоты необработанной трассировки стека или None, если ни один из них не содержит полезной информации.

Возвращает слоты одной записи необработанной трассировки стека или None, если в этой записи отсутствует отладочная информация.

Printexc.backtrace_status() возвращает true, если в данный момент записываются трассировки стека исключений, и false в противном случае.

Разбивает имя файла на имя каталога и базовое имя файла.

before_first_spawn f регистрирует f для вызова перед созданием программой первого домена.

Scanning.beginning_of_input ic проверяет, находится ли указанный канал форматированного ввода Scanf.Scanning.in_channel в начале ввода.

Определяет, использует ли машина, на которой в данный момент выполняется программа Caml, порядок байтов от старшего к младшему.

Привязать сокет к адресу.

Привязать сокет к адресу.

bind r f — это f v, если r равно Ok v, и r, если r равно Error _.

bind o f — это f v, если o равно Some v, и None, если o равно None.

Возвращает список всех связей заданного отображения.

Возвращает список всех связей заданного отображения.

Возвращает 30 случайных битов в виде неотрицательного целого числа.

Random.bits32 () возвращает 32 случайных бита в виде целого числа в диапазоне от Int32.min_int до Int32.max_int.

Random.bits64 () возвращает 64 случайных бита в виде целого числа в диапазоне от Int64.min_int до Int64.max_int.

Возвращает внутреннее представление заданного числа с плавающей точкой в соответствии с битовой раскладкой формата double для чисел с плавающей точкой IEEE 754.

Возвращает внутреннее представление заданного числа с плавающей точкой в соответствии с битовой раскладкой формата single для чисел с плавающей точкой IEEE 754.

blend f o1 o2 — это o1, если o2 равно None, o2, если o1 равно None, и Some (f v1 v2), если o1 равно Some v1, а o2 равно Some v2.

Weak.blit ar1 off1 ar2 off2 len копирует len слабых указателей из ar1 (начиная с off1) в ar2 (начиная с off2).

То же, что и Bytes.blit_string; предпочтительно использовать именно её.

То же, что и Bytes.blit_string; предпочтительно использовать именно её.

blit ~src ~src_pos ~dst ~dst_pos ~len копирует len элементов из массива вещественных чисел src, начиная с элемента под номером src_pos, в массив вещественных чисел dst, начиная с элемента под номером dst_pos.

blit src src_pos dst dst_pos len копирует len элементов из массива вещественных чисел src, начиная с элемента под номером src_pos, в массив вещественных чисел dst, начиная с элемента под номером dst_pos.

blit ~src ~src_pos ~dst ~dst_pos ~len копирует len элементов из исходного динамического массива src, начиная с индекса src_pos, в целевой динамический массив dst, начиная с индекса dst_pos.

blit ~src ~src_pos ~dst ~dst_pos ~len копирует len байтов из последовательности байтов src, начиная с индекса src_pos, в последовательность байтов dst, начиная с индекса dst_pos.

blit src src_pos dst dst_pos len копирует len байтов из последовательности байтов src, начиная с индекса src_pos, в последовательность байтов dst, начиная с индекса dst_pos.

Buffer.blit src srcoff dst dstoff len копирует len символов из текущего содержимого буфера src, начиная со смещения srcoff, в dst, начиная с символа dstoff.

Копирует первый Bigarray во второй Bigarray.

Копирует первый Bigarray во второй Bigarray.

Копирует первый Bigarray во второй Bigarray.

Копирует первый Bigarray во второй Bigarray.

Копирует все элементы одного Bigarray в другой Bigarray.

blit ~src ~src_pos ~dst ~dst_pos ~len копирует len элементов из массива src, начиная с элемента под номером src_pos, в массив dst, начиная с элемента под номером dst_pos.

blit src src_pos dst dst_pos len копирует len элементов из массива src, начиная с элемента под номером src_pos, в массив dst, начиная с элемента под номером dst_pos.

blit_string ~src ~src_pos ~dst ~dst_pos ~len копирует len байтов из строки src, начиная с индекса src_pos, в последовательность байтов dst, начиная с индекса dst_pos.

blit_string src src_pos dst dst_pos len копирует len байтов из строки src, начиная с индекса src_pos, в последовательность байтов dst, начиная с индекса dst_pos.

bom — это U+FEFF, символ метки порядка байтов (BOM).

Random.bool () с вероятностью 0,5 возвращает true или false.

То же, что и bool_of_string_opt, но вместо возврата None вызывает исключение Invalid_argument "bool_of_string".

Преобразует заданную строку в логическое значение.

То же, что и Str.bounded_split_delim, но возвращает как разделители, так и подстроки между разделителями.

То же, что и Str.split, но разбивает строку не более чем на n подстрок, где n — дополнительный целочисленный параметр.

То же, что и Str.bounded_split, но разделители в начале и конце строки распознаются и возвращаются в результате как пустые строки.

То же, что и Printf.fprintf, но вместо вывода в канал вывода добавляет форматированные аргументы в указанный расширяемый буфер (см. модуль Buffer).

broadcast c пробуждает все потоки, ожидающие на условной переменной c.

bscanf_format ic fmt f считывает токен строки формата из канала форматированного ввода ic в соответствии с заданной строкой формата fmt и применяет f к полученному значению строки формата.

То же, что и Scanf.bscanf, но при ошибке сканирования возвращает None.

Возвращает дайджест указанной последовательности байтов.

Возвращает дайджест указанной последовательности байтов.

capacity a — это длина базового массива a.

capitalize_ascii s — это s, у которой первый символ преобразован в верхний регистр с использованием набора символов US-ASCII.

capitalize_ascii s — это s, у которой первый символ преобразован в верхний регистр с использованием набора символов US-ASCII.

Возвращает копию аргумента, у которой первый символ преобразован в верхний регистр с использованием набора символов US-ASCII.

Возвращает копию аргумента, у которой первый символ преобразован в верхний регистр с использованием набора символов US-ASCII.

Возвращает число элементов множества.

Возвращает число элементов множества.

Возвращает число связей в отображении.

Возвращает число связей в отображении.

cat s1 s2 объединяет s1 и s2 (s1 ^ s2).

cat s1 s2 объединяет s1 и s2 (s1 ^ s2).

cat s1 s2 объединяет s1 и s2 и возвращает результат в виде новой последовательности байтов.

cat s1 s2 объединяет s1 и s2 и возвращает результат в виде новой последовательности байтов.

Printexc.catch fn x аналогичен Printexc.print, но после вывода неперехваченного исключения прерывает программу с кодом завершения 2.

catch_break определяет, завершит ли интерактивное прерывание (ctrl-C) программу или вызовет исключение Break.

Кубический корень.

Деление с округлением вверх.

Деление с округлением вверх.

Деление с округлением вверх.

Деление с округлением вверх.

Округлить вверх до целого числа.

Округлить вверх до целого числа.

Array3.change_layout a layout возвращает Bigarray с указанным layout, использующий общую область данных с a (и, следовательно, имеющий те же размеры, что и a).

Array2.change_layout a layout возвращает Bigarray с указанным layout, использующий общую область данных с a (и, следовательно, имеющий те же размеры, что и a).

Array1.change_layout a layout возвращает Bigarray с указанным layout, использующий общую область данных с a (и, следовательно, имеющий тот же размер, что и a).

Array0.change_layout a layout возвращает Bigarray с указанным layout, использующий общую область данных с a.

Genarray.change_layout a layout возвращает Bigarray с указанным layout, использующий общую область данных с a (и, следовательно, имеющий те же размеры, что и a).

Считывает символы из канала и возвращает их дайджест.

Если len неотрицательно, Digest.channel ic len считывает len символов из канала ic и возвращает их дайджест либо вызывает End_of_file, если достигнут конец файла до считывания len символов.

Как видно из типов значений выше, для доступа к Bigarray типов float16_elt, float32_elt и float64_elt используется тип OCaml float.

Возвращает символ с заданным кодом ASCII.

Изменяет рабочий каталог процесса.

Изменяет рабочий каталог процесса.

Изменяет текущий рабочий каталог процесса.

Weak.check ar n возвращает true, если n-я ячейка ar заполнена, и false, если она пуста.

Проверяет допустимость геометрии форматтера: 1 < max_indent < margin < Format.pp_infinity

check_suffix name suff возвращает true, если имя файла name оканчивается суффиксом suff.

Изменяет права доступа к указанному файлу.

Изменяет права доступа к указанному файлу.

Возвращает один элемент заданного множества или вызывает Not_found, если множество пусто.

Возвращает один элемент заданного множества или вызывает Not_found, если множество пусто.

Возвращает одну привязку заданной карты или вызывает Not_found, если карта пуста.

Возвращает одну привязку заданной карты или вызывает Not_found, если карта пуста.

choose evl возвращает событие, альтернативное всем событиям в списке evl.

Возвращает один элемент заданного множества или None, если множество пусто.

Возвращает один элемент заданного множества или None, если множество пусто.

Возвращает одну привязку заданной карты или None, если карта пуста.

Возвращает одну привязку заданной карты или None, если карта пуста.

Аналог Filename.remove_extension, но вызывает Invalid_argument, если у заданного имени пустое расширение.

chop_suffix name suff удаляет суффикс suff из имени файла name.

chop_suffix_opt ~suffix filename по возможности удаляет суффикс из filename, иначе возвращает None, если имя файла не оканчивается этим суффиксом.

Изменяет uid и gid владельца указанного файла.

Изменяет uid и gid владельца указанного файла.

Возвращает символ с заданным целочисленным кодом.

Изменяет корневой каталог процесса.

Изменяет корневой каталог процесса.

Возвращает класс заданного числа с плавающей точкой: нормальное, субнормальное, ноль, бесконечность или не число.

Возвращает класс заданного числа с плавающей точкой: нормальное, субнормальное, ноль, бесконечность или не число.

Удаляет все неактивные привязки.

Удаляет все неактивные привязки.

Удаляет все элементы из таблицы.

Удаляет все элементы из стека.

Удаляет все элементы из очереди.

clear q удаляет все элементы из q.

Очищает хеш-таблицу.

Очищает хеш-таблицу.

Удаляет все эфемероны из корзины.

Удаляет все эфемероны из корзины.

Удаляет все эфемероны из корзины.

clear a является truncate a 0 и удаляет все элементы из a.

Очищает буфер.

Сбрасывает флаг ``close-on-exec'' у заданного дескриптора.

Сбрасывает флаг ``close-on-exec'' у заданного дескриптора.

Сбрасывает флаг ``non-blocking'' у заданного дескриптора.

Сбрасывает флаг ``non-blocking'' у заданного дескриптора.

Очищает стек парсера.

clear_symbolic_output_buffer sob сбрасывает буфер sob.

Закрывает файловый дескриптор.

Закрывает файловый дескриптор.

Закрывает заданный канал, сбрасывая все буферизованные операции записи.

Закрывает заданный канал.

Закрывает последнюю открытую рамку форматированного вывода.

Закрывает заданный канал.

Закрывает in_channel, связанный с заданным каналом форматированного ввода Scanf.Scanning.in_channel.

Аналог close_in, но игнорирует все ошибки.

Аналог Out_channel.close, но игнорирует все ошибки.

Аналог In_channel.close, но игнорирует все ошибки.

Закрывает заданный канал, сбрасывая все буферизованные операции записи.

Аналог close_out, но игнорирует все ошибки.

Закрывает каналы, открытые функцией UnixLabels.open_process, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией Unix.open_process, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией UnixLabels.open_process_full, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией Unix.open_process_full, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией UnixLabels.open_process_in, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией Unix.open_process_in, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией UnixLabels.open_process_out, ожидает завершения связанной команды и возвращает статус её завершения.

Закрывает каналы, открытые функцией Unix.open_process_out, ожидает завершения связанной команды и возвращает статус её завершения.

pp_close_stag ppf () закрывает последний открытый семантический тег t.

Закрывает последнюю открытую табуляционную рамку.

Закрывает дескриптор каталога.

Закрывает дескриптор каталога.

code c — это байт, соответствующий c.

Преобразует пару списков в список пар: combine [a1; ...; an] [b1; ...; bn] — это [(a1,b1); ...; (an,bn)].

Преобразует пару списков в список пар: combine [a1; ...; an] [b1; ...; bn] — это [(a1,b1); ...; (an,bn)].

combine [|a1; ...; an|] [|b1; ...; bn|] — это [|(a1,b1); ...; (an,bn)|].

combine [|a1; ...; an|] [|b1; ...; bn|] — это [|(a1,b1); ...; (an,bn)|].

combine [|a1; ...; an|] [|b1; ...; bn|] — это [|(a1,b1); ...; (an,bn)|].

Выполняет заданную команду оболочки и возвращает её код завершения.

Выполняет полную основную сборку мусора и уплотняет кучу.

compare u1 u2 — это 0.

compare u u' — это Stdlib.compare u u'.

compare s0 s1 упорядочивает s0 и s1 лексикографически.

Псевдоним для Repr.compare.

compare s0 s1 упорядочивает s0 и s1 лексикографически.

Функция полного порядка для элементов множества.

Полный порядок между множествами.

Если функция cmp задаёт предпорядок на элементах, compare cmp xs ys сравнивает последовательности xs и ys согласно лексикографическому предпорядку.

compare ~ok ~error r0 r1 задаёт полный порядок на r0 и r1, используя ok и error для сравнения значений, обёрнутых соответственно в Ok _  и Error _.

compare x y возвращает 0, если x равно y, отрицательное целое число, если x меньше y, и положительное целое число, если x больше y.

compare задаёт полный порядок на значениях типа Pqueue.OrderedPolyType.t.

Функция полного порядка для сравнения элементов.

compare cmpa cmpb задаёт полный порядок на парах: для сравнения первого компонента используется cmpa, а второго — cmpb.

compare cmp o0 o1 задаёт полный порядок на значениях option, используя cmp для сравнения значений, обёрнутых в Some _.

Функция сравнения машинных целых чисел с той же спецификацией, что и у compare.

Функция полного порядка для элементов множества.

Полный порядок между множествами.

Функция полного порядка для ключей.

Полный порядок между картами.

Функция полного порядка для ключей.

Полный порядок между картами.

compare cmp [a1; ...; an] [b1; ...; bm] выполняет лексикографическое сравнение двух входных списков, используя тот же интерфейс 'a -> 'a -> int, что и compare:

compare cmp [a1; ...; an] [b1; ...; bm] выполняет лексикографическое сравнение двух входных списков, используя тот же интерфейс 'a -> 'a -> int, что и compare:

Функция сравнения 64-разрядных целых чисел с той же спецификацией, что и у compare.

Функция сравнения 32-разрядных целых чисел с той же спецификацией, что и у compare.

compare x y — это compare x y, но более эффективная.

Если функция cmp задаёт предпорядок на элементах, compare cmp a b сначала сравнивает a и b по длине, а затем, если длины равны, — по элементам согласно лексикографическому предпорядку.

compare ~cmp a b сравнивает a и b в порядке shortlex: более короткие массивы меньше, а массивы одинаковой длины сравниваются лексикографически с использованием cmp для сравнения элементов.

compare cmp a b сравнивает a и b в порядке shortlex: более короткие массивы меньше, а массивы одинаковой длины сравниваются лексикографически с использованием cmp для сравнения элементов.

compare x y возвращает 0, если x равно y, отрицательное целое число, если x меньше y, и положительное целое число, если x больше y.

compare ~left ~right e0 e1 задаёт полный порядок на e0 и e1, используя left и right для сравнения значений, обёрнутых соответственно в Left _  и Right _.

compare cmp a b сравнивает a и b в соответствии с порядком shortlex: более короткие массивы меньше, а массивы одинаковой длины сравниваются в лексикографическом порядке с использованием cmp для сравнения элементов.

Сравнивает два дайджеста в соответствии с той же спецификацией, что и compare.

Функция сравнения 16-байтовых дайджестов, соответствующая той же спецификации, что и compare, с реализацией, общей с String.compare.

Функция сравнения символов, соответствующая той же спецификации, что и compare.

Функция сравнения последовательностей байтов, соответствующая той же спецификации, что и compare.

Функция сравнения последовательностей байтов, соответствующая той же спецификации, что и compare.

compare b0 b1 задаёт полный порядок на булевых значениях.

compare cmp a b сравнивает a и b в соответствии с порядком shortlex: более короткие массивы меньше, а массивы одинаковой длины сравниваются в лексикографическом порядке с использованием cmp для сравнения элементов.

compare cmp a b сравнивает a и b в соответствии с порядком shortlex: более короткие массивы меньше, а массивы одинаковой длины сравниваются в лексикографическом порядке с использованием cmp для сравнения элементов.

compare_and_set r seen v устанавливает новое значение r в v, только если его текущее значение физически равно seen; сравнение и установка выполняются атомарно.

Сравнивает длину списка с целым числом.

Сравнивает длину списка с целым числом.

Сравнивает длины двух списков.

Сравнивает длины двух списков.

См. Bigarray.char.

См. Bigarray.char.

compose f g — это композиция функций: сначала применяется g, затем f.

concat sep ss объединяет список строк ss, вставляя между ними строку-разделитель sep.

concat ~sep ss объединяет список строк ss, вставляя между ними строку-разделитель sep.

Если xss — последовательность последовательностей, то concat xss — это её конкатенация.

Объединяет список списков.

Объединяет список списков.

То же, что и Iarray.append, но объединяет список неизменяемых массивов.

То же, что и Float.ArrayLabels.append, но объединяет список массивов с плавающей точкой.

То же, что и Float.Array.append, но объединяет список массивов с плавающей точкой.

concat dir file возвращает имя файла, обозначающее файл file в каталоге dir.

concat ~sep sl объединяет список последовательностей байтов sl, вставляя между ними последовательность байтов-разделитель sep, и возвращает результат в виде новой последовательности байтов.

concat sep sl объединяет список последовательностей байтов sl, вставляя между ними последовательность байтов-разделитель sep, и возвращает результат в виде новой последовательности байтов.

То же, что и ArrayLabels.append, но объединяет список массивов.

То же, что и Array.append, но объединяет список массивов.

concat_map f xs эквивалентно concat (map f xs).

concat_map ~f l даёт тот же результат, что и ListLabels.concat (ListLabels.map f l).

concat_map f l даёт тот же результат, что и List.concat (List.map f l).

Сопряжение: для комплексного числа x + i.y возвращает x - i.y.

Подключает сокет к адресу.

Подключает сокет к адресу.

cons x xs — это последовательность, начинающаяся с элемента x, за которым следует последовательность xs.

cons x xs — это x :: xs

cons x xs — это x :: xs

const c — это функция, всегда возвращающая значение c.

contains s c — это String.contains_from s 0 c.

contains s c — это String.contains_from s 0 c.

contains s c проверяет, встречается ли байт c в s.

contains s c проверяет, встречается ли байт c в s.

contains_from s start c имеет значение true тогда и только тогда, когда c встречается в s после позиции start.

contains_from s start c имеет значение true тогда и только тогда, когда c встречается в s после позиции start.

contains_from s start c проверяет, встречается ли байт c в s после позиции start.

contains_from s start c проверяет, встречается ли байт c в s после позиции start.

Возвращает копию текущего содержимого буфера.

continue k x возобновляет продолжение k, передавая x в k.

continue_with k v h возобновляет продолжение k со значением v и обработчиком h.

Извлекает понятное пользователю значение backtrace_slot из низкоуровневого raw_backtrace_slot.

Возвращает копию заданного стека.

Возвращает копию заданного состояния.

Возвращает копию заданной очереди.

copy q — это новая очередь с приоритетами, содержащая те же элементы, что и q.

Oo.copy o возвращает копию объекта o, то есть новый объект с теми же методами и переменными экземпляра, что и o.

Возвращает копию заданной хеш-таблицы.

Возвращает копию заданной хеш-таблицы.

copy a возвращает копию a, то есть новый массив с плавающей точкой, содержащий те же элементы, что и a.

copy a возвращает копию a, то есть новый массив с плавающей точкой, содержащий те же элементы, что и a.

copy a — это поверхностная копия a, новый массив, содержащий те же элементы, что и a.

Возвращает новую последовательность байтов, содержащую те же байты, что и аргумент.

Возвращает новую последовательность байтов, содержащую те же байты, что и аргумент.

copy a возвращает копию a, то есть новый массив, содержащий те же элементы, что и a.

copy a возвращает копию a, то есть новый массив, содержащий те же элементы, что и a.

copy_sign x y возвращает число с плавающей точкой, абсолютное значение которого совпадает с абсолютным значением x, а знак — со знаком y.

copysign x y возвращает число с плавающей точкой, абсолютное значение которого совпадает с абсолютным значением x, а знак — со знаком y.

Косинус.

Косинус.

Гиперболический косинус.

Гиперболический косинус.

Подсчитывает количество элементов в таблице.

Количество доменов, которые были запущены (включая исходный домен) и ещё не завершили работу.

Возвращает (minor_words, promoted_words, major_words) для текущего домена или, возможно, для предыдущих доменов.

При активном ожидании вызов cpu_relax () между итерациями может повысить производительность на некоторых архитектурах ЦП.

Thread.create funct arg создаёт новый поток выполнения, в котором вызов функции funct arg выполняется параллельно с другими потоками домена.

create n создаёт новое пустое слабое хеш-множество начального размера n.

Weak.create n возвращает новый слабый массив длины n.

Возвращает новый стек, изначально пустой.

Создаёт Callback, который при необходимости подписывается на одно или несколько событий среды выполнения.

Возвращает новую очередь, изначально пустую.

Возвращает новую очередь с приоритетами, изначально пустую.

create n возвращает эпhemeron с n ключами.

Возвращает новый мьютекс.

Hashtbl.create n создаёт новую пустую хеш-таблицу с начальным размером, не меньшим рекомендуемого размера n.

Hashtbl.create n создаёт новую пустую хеш-таблицу с начальным размером, не меньшим рекомендуемого размера n.

create n возвращает новый массив с плавающей точкой длины n, содержащий неинициализированные данные.

create n возвращает новый массив с плавающей точкой длины n, содержащий неинициализированные данные.

create () — это новый пустой массив.

create() создаёт и возвращает новую условную переменную.

create n возвращает новую последовательность байтов длины n.

create n возвращает новую последовательность байтов длины n.

create n возвращает новый буфер, изначально пустой.

Array3.create kind layout dim1 dim2 dim3 возвращает новый Bigarray трёх измерений, размер которого составляет dim1 по первому измерению, dim2 по второму измерению и dim3 по третьему.

Array2.create kind layout dim1 dim2 возвращает новый Bigarray двух измерений, размер которого составляет dim1 по первому измерению и dim2 по второму измерению.

Array1.create kind layout dim возвращает новый Bigarray одного измерения размером dim.

Array0.create kind layout возвращает новый Bigarray нулевой размерности.

Genarray.create kind layout dimensions возвращает новый Bigarray, тип элементов которого определяется параметром kind (одно из значений float32, float64, int8_signed и т. д.), а расположение — параметром layout (одно из значений c_layout или fortran_layout).

create_alarm f обеспечивает вызов f в конце циклов полной сборки мусора, не вызванных самим f, начиная с текущего или следующего цикла.

create_cursor path_pid создаёт курсор для чтения событий среды выполнения.

create_float n возвращает новый массив чисел с плавающей точкой длины n, содержащий неинициализированные данные.

create_float n возвращает новый массив чисел с плавающей точкой длины n, содержащий неинициализированные данные.

create_process ~prog ~args ~stdin ~stdout ~stderr создаёт новый процесс, выполняющий программу из файла prog с аргументами args.

create_process prog args stdin stdout stderr создаёт новый процесс, выполняющий программу из файла prog с аргументами args.

create_process_env ~prog ~args ~env ~stdin ~stdout ~stderr работает так же, как UnixLabels.create_process, за исключением того, что дополнительный аргумент env задаёт среду, передаваемую программе.

create_process_env prog args env stdin stdout stderr работает так же, как Unix.create_process, за исключением того, что дополнительный аргумент env задаёт среду, передаваемую программе.

Позиция (в Sys.argv) обрабатываемого аргумента.

Условное имя текущего каталога (например,

cut_first n v — это (take_first n v, drop_first n v).

cut_first n v — это (take_first n v, drop_first n v).

cut_first_while p s — это (take_first_while p s, drop_first_while p s).

cut_first_while p s — это (take_first_while p s, drop_first_while p s).

cut_last n v — это (drop_last n v, take_last n v).

cut_last n v — это (drop_last n v, take_last n v).

cut_last_while p s — это (drop_last_while p s, take_last_while p s).

cut_last_while p s — это (drop_last_while p s, take_last_while p s).

cycle xs — бесконечная последовательность, состоящая из бесконечного числа повторений последовательности xs.

Истина, если Sys.os_type = "Cygwin".

См. Marshal.header_size.

Уменьшает на единицу целое число, хранящееся в заданной ссылке.

decr r атомарно уменьшает значение r на 1.

Thread.default_uncaught_exception_handler выведет идентификатор потока, исключение и трассировку стека (если она доступна).

Printexc.default_uncaught_exception_handler выводит исключение и трассировку стека в стандартный поток ошибок.

delay d приостанавливает выполнение вызывающего потока на d секунд.

delay (fun () -> seq) содержит те же элементы, что и seq, но выражение seq вычисляется только при запросе первого элемента.

delete_alarm a прекращает вызовы функции, связанной с a.

Возвращает дескриптор, соответствующий каналу ввода.

Возвращает дескриптор, соответствующий каналу ввода.

Возвращает дескриптор, соответствующий каналу вывода.

Возвращает дескриптор, соответствующий каналу вывода.

true, если это версия для разработки, и false в противном случае.

Разность множеств: diff s1 s2 содержит элементы s1, которых нет в s2.

Разность множеств: diff s1 s2 содержит элементы s1, которых нет в s2.

digit_of_int n — это десятичная ASCII-цифра со значением abs (n mod 10).

digit_to_int c — это числовое значение цифры, удовлетворяющей условию Char.Ascii.is_digit.

Возвращает размер (измерение) заданного одномерного Bigarray.

Возвращает первое измерение заданного трёхмерного Bigarray.

Возвращает первое измерение заданного двумерного Bigarray.

Возвращает второе измерение заданного трёхмерного Bigarray.

Возвращает второе измерение заданного двумерного Bigarray.

Возвращает третье измерение заданного трёхмерного Bigarray.

Genarray.dims a возвращает все измерения Bigarray a в виде массива целых чисел длины Genarray.num_dims a.

Разделитель каталогов (например,

См. Filename.basename.

Отбрасывает всё состояние профилирования для остановленного профиля, предотвращая дальнейшие вызовы его обратных вызовов.

discontinue k e возобновляет продолжение k, вызывая исключение e в k.

discontinue_with k e h возобновляет продолжение k, вызывая исключение e с обработчиком h.

discontinue_with k e bt h возобновляет продолжение k, вызывая исключение e с обработчиком h и используя необработанную трассировку стека bt в качестве источника исключения.

discontinue_with_backtrace k e bt возобновляет продолжение k, вызывая исключение e в k и используя bt в качестве источника исключения.

Проверяет, не пересекаются ли два множества.

Проверяет, не пересекаются ли два множества.

Целочисленное деление.

Целочисленное деление.

Целочисленное деление.

Деление с округлением.

Деление чисел с плавающей запятой.

Деление

Возвращает домен сокета, подходящий для заданного адреса сокета.

Возвращает домен сокета, подходящий для заданного адреса сокета.

То же, что и Format.fprintf, за исключением того, что форматтер является последним аргументом.

drop s удаляет верхний элемент стека s или вызывает исключение Stack.Empty, если стек пуст.

drop n xs — это последовательность xs без первых n элементов.

drop q удаляет первый элемент очереди q или вызывает исключение Queue.Empty, если очередь пуста.

drop n l возвращает суффикс l после n элементов или [], если n > length l.

drop n l возвращает суффикс l после n элементов или [], если n > length l.

drop_first n s — это s без первых n байтов s.

drop_first n s — это s без первых n байтов s.

drop_first_while p s — это s без начальной последовательности байтов s, удовлетворяющих предикату p.

drop_first_while p s — это s без начальной последовательности байтов s, удовлетворяющих предикату p.

drop_last n s — это s без последних n байтов s.

drop_last n s — это s без последних n байтов s.

drop_last_while p s — это s без конечной последовательности байтов s, удовлетворяющих предикату p.

drop_last_while p s — это s без конечной последовательности байтов s, удовлетворяющих предикату p.

drop_while p xs — это последовательность xs без префикса take_while p xs.

drop_while p l — это самый длинный (возможно, пустой) суффикс l, начинающийся с первого элемента, не удовлетворяющего условию p.

drop_while p l — это самый длинный (возможно, пустой) суффикс l, начинающийся с первого элемента, не удовлетворяющего условию p.

Значение типа position, гарантированно отличающееся от любой допустимой позиции.

Возвращает новый файловый дескриптор, ссылающийся на тот же файл, что и заданный дескриптор.

Возвращает новый файловый дескриптор, ссылающийся на тот же файл, что и заданный дескриптор.

dup2 ~src ~dst дублирует src в dst, закрывая dst, если он уже открыт.

dup2 src dst дублирует src в dst, закрывая dst, если он уже открыт.

edit_distance s0 s1 — это количество изменений одного символа (вставок, удалений, замен или перестановок), необходимых для преобразования s0 в s1.

edit_distance s0 s1 — это количество изменений одного символа (вставок, удалений, замен или перестановок), необходимых для преобразования s0 в s1.

Евклидово деление.

Евклидово деление.

Евклидово деление.

Евклидово деление.

Возвращает список всех элементов заданного множества.

Возвращает список всех элементов заданного множества.

Пустая строка.

Пустая строка.

Пустое множество.

empty — пустая последовательность.

Пустое множество.

Пустое отображение.

Пустое отображение.

Последовательность байтов размера 0.

Последовательность байтов размера 0.

Управляет тем, может ли среда выполнения OCaml выводить предупреждения в stderr.

Scanning.end_of_input ic проверяет условие конца ввода для заданного канала форматированного ввода Scanf.Scanning.in_channel.

ends_with ~suffix s равно true тогда и только тогда, когда s заканчивается на suffix.

ends_with ~suffix s равно true тогда и только тогда, когда s заканчивается на suffix.

ends_with ~suffix s равно true тогда и только тогда, когда s заканчивается на suffix.

ends_with ~suffix s равно true тогда и только тогда, когда s заканчивается на suffix.

ensure_capacity a n гарантирует, что ёмкость a будет не меньше n.

ensure_extra_capacity a n — ensure_capacity a (length a + n); функция гарантирует, что в a будет место ещё для n элементов.

Возвращает окружение процесса в виде массива строк формата ``переменная=значение''.

Возвращает окружение процесса в виде массива строк формата ``переменная=значение''.

То же, что и Printf.fprintf, но выводит данные в stderr.

То же, что и описанная выше fprintf, но выводит данные в get_err_formatter ().

Разность между 1.0 и наименьшим точно представимым числом с плавающей запятой, большим 1.0.

Разность между 1.0 и наименьшим точно представимым числом с плавающей запятой, большим 1.0.

equal u1 u2 — это true.

equal u u' — это u = u'.

equal s0 s1 равно true тогда и только тогда, когда s0 и s1 посимвольно равны.

equal s0 s1 равно true тогда и только тогда, когда s0 и s1 посимвольно равны.

equal s1 s2 проверяет, равны ли множества s1 и s2, то есть содержат ли они одинаковые элементы.

Если функция eq задаёт отношение равенства на элементах, equal eq xs ys определяет, равны ли последовательности xs и ys поэлементно.

equal ~ok ~error r0 r1 проверяет равенство r0 и r1, используя ok и error для сравнения значений, обёрнутых соответственно в Ok _ и Error _.

equal e1 e2 проверяет структурное равенство e1 и e2.

equal eqa eqb (a1, b1) (a2, b2) равно true тогда и только тогда, когда eqa a1 a2 и eqb b1 b2 оба true.

equal eq o0 o1 равно true тогда и только тогда, когда o0 и o1 оба None либо когда они Some v0 и Some v1, а eq v0 v1 равно true.

Функция сравнения на равенство для значений nativeint.

equal s1 s2 проверяет, равны ли множества s1 и s2, то есть содержат ли они одинаковые элементы.

equal ~cmp m1 m2 проверяет, равны ли отображения m1 и m2, то есть содержат ли они одинаковые ключи, которым соответствуют одинаковые данные.

Предикат равенства, используемый для сравнения ключей.

Предикат равенства, используемый для сравнения ключей.

equal cmp m1 m2 проверяет, равны ли отображения m1 и m2, то есть содержат ли они одинаковые ключи, которым соответствуют одинаковые данные.

equal eq [a1; ...; an] [b1; ..; bm] выполняется, если два входных списка имеют одинаковую длину и для каждой пары элементов ai, bi, находящихся на одинаковых позициях, выполняется eq ai bi.

equal eq [a1; ...; an] [b1; ..; bm] выполняется, если два входных списка имеют одинаковую длину и для каждой пары элементов ai, bi, находящихся на одинаковых позициях, выполняется eq ai bi.

Функция сравнения на равенство для значений int64.

Функция сравнения на равенство для значений int32.

equal x y равно true тогда и только тогда, когда x = y.

eq [|a1; ...; an|] [|b1; ..; bm|] выполняется, если два входных неизменяемых массива имеют одинаковую длину и для каждой пары элементов ai, bi, находящихся на одинаковых позициях, выполняется eq ai bi.

Предикат равенства, используемый для сравнения ключей.

Предикат равенства, используемый для сравнения ключей.

equal ~eq a b равно true тогда и только тогда, когда a и b имеют одинаковую длину n и для всех i из [0;n-1] выполняется eq a.(i) b.(i) равно true.

equal eq a b является true тогда и только тогда, когда a и b имеют одинаковую длину n и для всех i в [0;n-1] выполняется eq a.(i) b.(i) является true.

Функция равенства для чисел с плавающей точкой; сравнение выполняется с помощью Float.compare.

equal ~left ~right e0 e1 проверяет равенство e0 и e1, используя left и right для сравнения значений, содержащихся соответственно в Left _ и Right _.

equal eq a b выполняется, когда a и b имеют одинаковую длину и для всех индексов i выполняется eq (get a i) (get b i).

Проверить два дайджеста на равенство.

Функция равенства для 16-байтовых дайджестов.

Функция равенства для символов.

Функция равенства для последовательностей байтов.

Функция равенства для последовательностей байтов.

equal b0 b1 является true тогда и только тогда, когда b0 и b1 оба равны true или оба равны false.

equal eq a b является true тогда и только тогда, когда a и b имеют одинаковую длину n и для всех i в [0;n-1] выполняется eq a.(i) b.(i) является true.

equal eq a b является true тогда и только тогда, когда a и b имеют одинаковую длину n и для всех i в [0;n-1] выполняется eq a.(i) b.(i) является true.

Евклидов остаток.

Евклидов остаток.

Евклидов остаток.

Евклидов остаток.

Функция ошибок.

Дополнительная функция ошибок (erfc x = 1 - erf x).

Форматтер исходного домена для вывода в стандартный поток ошибок.

error e — это Error e.

Возвращает строку с описанием заданного кода ошибки.

Возвращает строку с описанием заданного кода ошибки.

Преобразует описание ошибки в печатаемое сообщение.

error_to_failure r является v, если r равно Ok v, и вызывает Failure e, если r равно Error e.

escaped s — это s, в котором специальные символы представлены escape-последовательностями в соответствии с лексическими соглашениями OCaml.

escaped s — это s, в котором специальные символы представлены escape-последовательностями в соответствии с лексическими соглашениями OCaml.

Возвращает строку, представляющую заданный символ; специальные символы экранируются в соответствии с лексическими соглашениями OCaml.

Возвращает копию аргумента, в которой специальные символы представлены escape-последовательностями в соответствии с лексическими соглашениями OCaml.

Возвращает копию аргумента, в которой специальные символы представлены escape-последовательностями в соответствии с лексическими соглашениями OCaml.

Запускает сервер по заданному адресу.

Запускает сервер по заданному адресу.

Устанавливает новое значение атомарной ссылки и возвращает текущее значение.

Имя файла, содержащего исполняемую программу, которая запущена в данный момент.

execv prog args выполняет программу из файла prog с аргументами args и текущим окружением процесса.

execv prog args выполняет программу из файла prog с аргументами args и текущим окружением процесса.

То же, что и UnixLabels.execv, за исключением того, что третий аргумент задает окружение для выполняемой программы.

То же, что и Unix.execv, за исключением того, что третий аргумент задает окружение для выполняемой программы.

То же, что и UnixLabels.execv, за исключением того, что программа ищется в пути поиска.

То же, что и Unix.execv, за исключением того, что программа ищется в пути поиска.

То же, что и UnixLabels.execve, за исключением того, что программа ищется в пути поиска.

То же, что и Unix.execve, за исключением того, что программа ищется в пути поиска.

exists p s проверяет, удовлетворяет ли хотя бы один символ в s предикату p.

exists p s проверяет, удовлетворяет ли хотя бы один символ в s предикату p.

exists f s проверяет, удовлетворяет ли хотя бы один элемент множества предикату f.

exists p xs определяет, удовлетворяет ли хотя бы один элемент x последовательности xs условию p x.

exists p ведет себя как List.exists p для списка из нуля или одного элемента: exists p None — это false, exists p (Some v) — это p v.

exists ~f s проверяет, удовлетворяет ли хотя бы один элемент множества предикату f.

exists ~f m проверяет, удовлетворяет ли хотя бы одна пара «ключ-значение» в отображении предикату f.

exists f m проверяет, удовлетворяет ли хотя бы одна пара «ключ-значение» в отображении предикату f.

exists ~f [a1; ...; an] проверяет, удовлетворяет ли хотя бы один элемент списка предикату f.

exists f [a1; ...; an] проверяет, удовлетворяет ли хотя бы один элемент списка предикату f.

exists f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент неизменяемого массива предикату f.

exists ~f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива вещественных чисел предикату f.

exists f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива вещественных чисел предикату f.

exists f a является true, если некоторый элемент a удовлетворяет условию f.

exists p s проверяет, удовлетворяет ли хотя бы один символ в s предикату p.

exists p s проверяет, удовлетворяет ли хотя бы один символ в s предикату p.

exists ~f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива предикату f.

exists f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива предикату f.

exists2 p xs ys определяет, удовлетворяет ли некоторая пара (x, y) элементов, синхронно извлеченных из последовательностей xs и ys, условию p x y.

То же, что и ListLabels.exists, но для предиката с двумя аргументами.

То же, что и List.exists, но для предиката с двумя аргументами.

То же, что и Iarray.exists, но для предиката с двумя аргументами.

То же, что и Dynarray.exists, но для предиката с двумя аргументами.

То же, что и ArrayLabels.exists, но для предиката с двумя аргументами.

То же, что и Array.exists, но для предиката с двумя аргументами.

Вызывает исключение Thread.Exit.

Завершает процесс, возвращая операционной системе заданный код состояния: обычно 0 означает отсутствие ошибок, а небольшое положительное целое число — сбой.

Printexc.exn_slot_id возвращает целое число, уникально идентифицирующее конструктор, использованный для создания значения исключения exn (в текущей среде выполнения).

Printexc.exn_slot_name exn возвращает внутреннее имя конструктора, использованного для создания значения исключения exn.

Экспонента.

Экспонента.

Возведение в степень.

Экспоненциальная функция с основанием 2.

expm1 x вычисляет exp x -. 1.0, обеспечивая численно точные результаты, даже если x близко к 0.0.

expm1 x вычисляет exp x -. 1.0, обеспечивая численно точные результаты, даже если x близко к 0.0.

extend s ~left ~right возвращает новую последовательность байтов, содержащую байты из s, с left неинициализированными байтами в начале и right неинициализированными байтами в конце.

extend s left right возвращает новую последовательность байтов, содержащую байты из s, с left неинициализированными байтами в начале и right неинициализированными байтами в конце.

extension name — это самый короткий суффикс ext строки name0, для которого выполняется следующее:

Вызывает исключение Failure с заданной строкой.

То же, что и ListLabels.sort или ListLabels.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и List.sort или List.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и Iarray.sort или Iarray.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и Float.ArrayLabels.sort или Float.ArrayLabels.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и Float.Array.sort или Float.Array.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и ArrayLabels.sort или ArrayLabels.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

То же, что и Array.sort или Array.stable_sort, в зависимости от того, какой вариант быстрее на типичных входных данных.

Изменяет права доступа к открытому файлу.

Изменяет права доступа к открытому файлу.

Изменяет uid и gid владельца открытого файла.

Изменяет uid и gid владельца открытого файла.

Деление с округлением вниз.

Деление с округлением вниз.

Деление с округлением вниз.

Деление с округлением вниз.

fetch_and_add r n атомарно увеличивает значение r на n и возвращает текущее значение (до увеличения).

fiber f создает продолжение, которое выполняет вычисление f.

Возвращает дайджест файла с заданным именем.

Возвращает дайджест файла с заданным именем.

Проверяет, существует ли файл с заданным именем.

Weak.fill ar ofs len el устанавливает el все указатели ar с ofs по ofs + len - 1.

fill a ~pos ~len x изменяет массив вещественных чисел a на месте, записывая x в элементы с номерами от pos до pos + len - 1.

fill a pos len x изменяет массив вещественных чисел a на месте, записывая x в элементы с номерами от pos до pos + len - 1.

fill s ~pos ~len c изменяет s на месте, заменяя len символов на c, начиная с pos.

fill s pos len c изменяет s на месте, заменяя len символов на c, начиная с pos.

Заполняет заданный Bigarray заданным значением.

Заполняет заданный Bigarray заданным значением.

Заполняет заданный Bigarray заданным значением.

Заполняет заданный Bigarray заданным значением.

Устанавливает заданное значение для всех элементов Bigarray.

fill a ~pos ~len x изменяет массив a на месте, записывая x в элементы с номерами от pos до pos + len - 1.

fill a pos len x изменяет массив a на месте, записывая x в элементы с номерами от pos до pos + len - 1.

filter f s возвращает множество всех элементов s, удовлетворяющих предикату f.

filter p xs — это последовательность элементов x из xs, удовлетворяющих условию p x.

filter ~f s возвращает множество всех элементов s, удовлетворяющих предикату f.

filter ~f m возвращает отображение со всеми парами «ключ-значение» из m, удовлетворяющими предикату f.

filter f m возвращает отображение со всеми парами «ключ-значение» из m, удовлетворяющими предикату f.

filter ~f l возвращает все элементы списка l, удовлетворяющие предикату f.

filter f l возвращает все элементы списка l, удовлетворяющие предикату f.

filter f a — это новый массив, содержащий все элементы a, удовлетворяющие условию f.

filter_map f s возвращает множество всех v, для которых f x = Some v для некоторого элемента x из s.

filter_map f xs — это последовательность элементов y, для которых выполняется f x = Some y, где x принимает значения из xs.

filter_map ~f s возвращает множество всех v таких, что f x = Some v для некоторого элемента x из s.

filter_map ~f m применяет функцию f к каждой привязке в m и строит по результатам карту.

filter_map f m применяет функцию f к каждой привязке в m и строит по результатам карту.

filter_map ~f l применяет f к каждому элементу l, отфильтровывает элементы None и возвращает список аргументов элементов Some.

filter_map f l применяет f к каждому элементу l, отфильтровывает элементы None и возвращает список аргументов элементов Some.

filter_map f a — это новый массив элементов y таких, что f x является Some y для элемента x из a.

Hashtbl.filter_map_inplace ~f tbl применяет f ко всем привязкам в таблице tbl и обновляет каждую привязку в зависимости от результата f.

Hashtbl.filter_map_inplace f tbl применяет f ко всем привязкам в таблице tbl и обновляет каждую привязку в зависимости от результата f.

То же, что и ListLabels.filter_map, но функция применяется к индексу элемента как к первому аргументу (нумерация начинается с 0), а к самому элементу — как ко второму аргументу.

То же, что и List.filter_map, но функция применяется к индексу элемента как к первому аргументу (нумерация начинается с 0), а к самому элементу — как ко второму аргументу.

То же, что и Seq.filter, но предикат применяется к индексу элемента как к первому аргументу (нумерация начинается с 0), а к самому элементу — как ко второму аргументу.

То же, что и ListLabels.filter, но предикат применяется к индексу элемента как к первому аргументу (нумерация начинается с 0), а к самому элементу — как ко второму аргументу.

То же, что и List.filter, но предикат применяется к индексу элемента как к первому аргументу (нумерация начинается с 0), а к самому элементу — как ко второму аргументу.

finalise f v регистрирует f как функцию финализации для v.

то же, что и Gc.finalise, за исключением того, что значение не передаётся в качестве аргумента.

Функция финализации может вызвать finalise_release, чтобы сообщить сборщику мусора, что он может запустить следующую функцию финализации, не дожидаясь завершения текущей.

find t x возвращает экземпляр x, найденный в t.

find x s возвращает элемент s, равный x (согласно Ord.compare), или вызывает исключение Not_found, если такого элемента нет.

find p xs возвращает Some x, где x — первый элемент последовательности xs, удовлетворяющий p x, если такой элемент существует.

find x s возвращает элемент s, равный x (согласно Ord.compare), или вызывает исключение Not_found, если такого элемента нет.

find x m возвращает текущее значение x в m или вызывает исключение Not_found, если привязки для x нет.

Hashtbl.find tbl x возвращает текущую привязку x в tbl или вызывает исключение Not_found, если такой привязки нет.

find x m возвращает текущее значение x в m или вызывает исключение Not_found, если привязки для x нет.

find ~f l возвращает первый элемент списка l, удовлетворяющий предикату f.

find f l возвращает первый элемент списка l, удовлетворяющий предикату f.

Hashtbl.find tbl x возвращает текущую привязку x в tbl или вызывает исключение Not_found, если такой привязки нет.

Возвращает данные самого недавно добавленного эпhemerона с указанными ключами или None, если такого эпhemerона нет.

Возвращает данные самого недавно добавленного эпhemerона с указанными ключами или None, если такого эпhemerона нет.

Возвращает данные самого недавно добавленного эпhemerона с указанным ключом или None, если такого эпhemerона нет.

find_all t x возвращает список всех экземпляров x, найденных в t.

find_all sub f start s acc, начиная с acc, сворачивает f в порядке возрастания индексов по всем неперекрывающимся начальным позициям sub в s, расположенным на индексе или позиции start или после неё (по умолчанию — 0).

find_all ~sub f ~start s acc, начиная с acc, сворачивает f в порядке возрастания индексов по всем неперекрывающимся начальным позициям sub в s, расположенным на индексе или позиции start или после неё (по умолчанию — 0).

Hashtbl.find_all tbl x возвращает список всех данных, связанных с x в tbl.

find_all — это другое название для ListLabels.filter.

find_all — это другое название для List.filter.

Hashtbl.find_all tbl x возвращает список всех данных, связанных с x в tbl.

То же, что и MoreLabels.Hashtbl.remove, но возвращает предыдущую привязку, если она есть.

То же, что и Hashtbl.remove, но возвращает предыдущую привязку, если она есть.

То же, что и MoreLabels.Hashtbl.replace, но возвращает предыдущую привязку, если она есть.

То же, что и Hashtbl.replace, но возвращает предыдущую привязку, если она есть.

find_first sub start s — начальная позиция первого вхождения sub в s на индексе или позиции start либо после неё (по умолчанию — 0).

find_first ~sub ~start s — начальная позиция первого вхождения sub в s на индексе или позиции start либо после неё (по умолчанию — 0).

find_first f s, где f — монотонно возрастающая функция, возвращает наименьший элемент e из s такой, что f e, или вызывает исключение Not_found, если такого элемента нет.

find_first ~f s, где f — монотонно возрастающая функция, возвращает наименьший элемент e из s такой, что f e, или вызывает исключение Not_found, если такого элемента нет.

find_first ~f m, где f — монотонно возрастающая функция, возвращает привязку m с наименьшим ключом k таким, что f k, или вызывает исключение Not_found, если такого ключа нет.

find_first f m, где f — монотонно возрастающая функция, возвращает привязку m с наименьшим ключом k таким, что f k, или вызывает исключение Not_found, если такого ключа нет.

find_first_index p start s — индекс первого символа s, удовлетворяющего предикату p на индексе или позиции start либо после неё (по умолчанию — 0).

find_first_index p ~start s — индекс первого символа s, удовлетворяющего предикату p на индексе или позиции start либо после неё (по умолчанию — 0).

find_first_opt f s, где f — монотонно возрастающая функция, возвращает вариант, содержащий наименьший элемент e из s такой, что f e, или None, если такого элемента нет.

find_first_opt ~f s, где f — монотонно возрастающая функция, возвращает вариант, содержащий наименьший элемент e из s такой, что f e, или None, если такого элемента нет.

find_first_opt ~f m, где f — монотонно возрастающая функция, возвращает вариант, содержащий привязку m с наименьшим ключом k таким, что f k, или None, если такого ключа нет.

find_first_opt f m, где f — монотонно возрастающая функция, возвращает вариант, содержащий привязку m с наименьшим ключом k таким, что f k, или None, если такого ключа нет.

find_index p xs возвращает Some i, где i — индекс первого элемента последовательности xs, удовлетворяющего p x, если такой элемент существует.

find_index ~f xs возвращает Some i, где i — индекс первого элемента списка xs, удовлетворяющего f x, если такой элемент существует.

find_index f xs возвращает Some i, где i — индекс первого элемента списка xs, удовлетворяющего f x, если такой элемент существует.

find_index f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_index ~f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_index f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_index f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_index ~f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_index f a возвращает Some i, где i — индекс первого элемента массива a, удовлетворяющего f x, если такой элемент существует.

find_last sub start s — начальная позиция последнего вхождения sub в s на индексе или позиции start либо до неё (по умолчанию — String.length s).

find_last ~sub ~start s — начальная позиция последнего вхождения sub в s на индексе или позиции start либо до неё (по умолчанию — String.length s).

find_last f s, где f — монотонно убывающая функция, возвращает наибольший элемент e из s такой, что f e, или вызывает исключение Not_found, если такого элемента нет.

find_last ~f s, где f — монотонно убывающая функция, возвращает наибольший элемент e из s такой, что f e, или вызывает исключение Not_found, если такого элемента нет.

find_last ~f m, где f — монотонно убывающая функция, возвращает привязку m с наибольшим ключом k таким, что f k, или вызывает исключение Not_found, если такого ключа нет.

find_last f m, где f — монотонно убывающая функция, возвращает привязку m с наибольшим ключом k таким, что f k, или вызывает исключение Not_found, если такого ключа нет.

find_last a — это None, если a пуст, и Some (get_last a) в противном случае.

find_last_index p start s — индекс последнего символа s, удовлетворяющего предикату p на индексе или позиции start либо до неё (по умолчанию — length s).

find_last_index p ~start s — индекс последнего символа s, удовлетворяющего предикату p на индексе или позиции start либо до неё (по умолчанию — length s).

find_last_opt f s, где f — монотонно убывающая функция, возвращает вариант, содержащий наибольший элемент e из s такой, что f e, или None, если такого элемента нет.

find_last_opt ~f s, где f — монотонно убывающая функция, возвращает вариант, содержащий наибольший элемент e из s такой, что f e, или None, если такого элемента нет.

find_last_opt ~f m, где f — монотонно убывающая функция, возвращает вариант, содержащий привязку m с наибольшим ключом k таким, что f k, или None, если такого ключа нет.

find_last_opt f m, где f — монотонно убывающая функция, возвращает вариант, содержащий привязку m с наибольшим ключом k таким, что f k, или None, если такого ключа нет.

find_left (Left v) — это Some v, find_left (Right _) — это None

find_map f xs возвращает Some y, где x — первый элемент последовательности xs, для которого выполняется f x = Some _, если такой элемент существует, а y определяется как f x = Some y.

find_map ~f l по порядку применяет f к элементам l и возвращает первый результат вида Some v или None, если таких результатов нет.

find_map f l по порядку применяет f к элементам l и возвращает первый результат вида Some v или None, если таких результатов нет.

find_map f a применяет f к элементам a по порядку и возвращает первый результат вида Some v или None, если таких результатов нет.

find_map f a применяет f к элементам a по порядку и возвращает первый результат вида Some v или None, если таких результатов нет.

find_map ~f a применяет f к элементам a по порядку и возвращает первый результат вида Some v или None, если таких результатов нет.

find_map f a применяет f к элементам a по порядку и возвращает первый результат вида Some v или None, если таких результатов нет.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

То же, что и find_map, но предикат получает первым аргументом индекс элемента (начиная с 0), а вторым — сам элемент.

find_opt t x возвращает экземпляр x, найденный в t, или None, если такого элемента нет.

find_opt x s возвращает элемент s, равный x (согласно Ord.compare), или None, если такого элемента нет.

find_opt x s возвращает элемент s, равный x (согласно Ord.compare), или None, если такого элемента нет.

find_opt x m возвращает Some v, если текущее значение x в m равно v, или None, если для x нет привязки.

Hashtbl.find_opt tbl x возвращает текущую привязку x в tbl или None, если такой привязки нет.

find_opt x m возвращает Some v, если текущее значение x в m равно v, или None, если для x нет привязки.

find ~f l возвращает первый элемент списка l, удовлетворяющий предикату f.

find f l возвращает первый элемент списка l, удовлетворяющий предикату f.

find_opt f a возвращает первый элемент неизменяемого массива a, удовлетворяющий предикату f, или None, если в массиве a нет значения, удовлетворяющего f.

Hashtbl.find_opt tbl x возвращает текущую привязку x в tbl или None, если такой привязки нет.

find_opt f a возвращает первый элемент массива a, удовлетворяющий предикату f, или None, если в массиве a нет значения, удовлетворяющего f.

find_opt ~f a возвращает первый элемент массива a, удовлетворяющий предикату f, или None, если в массиве a нет значения, удовлетворяющего f.

find_opt f a возвращает первый элемент массива a, удовлетворяющий предикату f, или None, если в массиве a нет значения, удовлетворяющего f.

find_right (Right v) — это Some v, find_right (Left _) — это None

first_chars s n возвращает первые n символов s.

fit_capacity a при необходимости перераспределяет память для базового массива так, чтобы его итоговая вместимость была ровно length a, без дополнительного свободного места в конце.

flat_map f xs эквивалентен concat (map f xs).

То же, что и ListLabels.concat.