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

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

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

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

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

Отрицание (==).

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

Логическое 'и' (AND).

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

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

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

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

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

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

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

См. (>=).

См. (>=).

Отрицание (=).

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

e1 == e2 проверяет физическое равенство e1 и e2.

См. (>=).

Функции структурного упорядочения.

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

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

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

f1 ^^ f2 конкатенирует строковые форматы f1 и f2.

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

Битовое логическое умножение (AND).

Битовое логическое сложение (OR).

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

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

Битовое логическое исключающее ИЛИ (XOR).

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

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

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

Логическое 'или' (OR).

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

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

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

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

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

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

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

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

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

__LOC__ возвращает расположение, в котором это выражение появляется в файле, который в данный момент парсит компилятор, с использованием стандартного формата ошибок OCaml: "Файл %S, строка %d, символы %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 f возвращает абсолютное значение f.

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

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 x s возвращает множество, содержащее все элементы s плюс x.

add ~key ~data m возвращает карту, содержащую те же пары «ключ-значение», что и m, плюс пару «ключ-значение» для key и data.

Hashtbl.add tbl ~key ~data добавляет пару «ключ-значение» для key и data в таблицу tbl.

add key data m возвращает карту, содержащую те же пары «ключ-значение», что и m, плюс пару «ключ-значение» для key и data.

Сложение.

Сложение.

add x y — это операция сложения x + y.

Hashtbl.add tbl key data добавляет пару «ключ-значение» для key и data в таблицу tbl.

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

Добавление эфемерного объекта в бакет.

Добавление эфемерного объекта в бакет.

Добавление эфемерного объекта в бакет.

Сложение

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 добавляет двоичное целое число со знаком 16 бит в формате big-endian i в b.

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

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

add_int32_be b i добавляет двоичное целое число 32 бит в формате big-endian i в b.

add_int32_le b i добавляет двоичное целое число 32 бит в формате little-endian i в b.

add_int32_ne b i добавляет двоичное целое число 32 бит в формате native-endian i в b.

add_int64_be b i добавляет двоичное целое число 64 бит в формате big-endian i в b.

add_int64_ne b i добавляет двоичное целое число 64 бит в формате little-endian i в b.

add_int64_ne b i добавляет двоичное целое число 64 бит в формате native-endian i в b.

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

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

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

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

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

Добавить заданные пары в карту в заданном порядке.

Добавить заданные пары в таблицу, используя 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_uint16_be b i добавляет двоичное целое без знака 16 бит в формате big-endian i в b.

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

add_uint16_ne b i добавляет двоичное целое без знака 16 бит в формате native-endian i в b.

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

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 возвращает событие, которое всегда готово для синхронизации.

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

Конкатенация двух списков.

Конкатенация двух списков.

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

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

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

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

Аргумент.

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

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

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

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

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

Обратный синус.

Обратный синус.

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

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

Аналогично 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, big-endian.

Связать сокет с адресом.

Связать сокет с адресом.

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.

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

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.

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 ~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.

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

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

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

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

То же, что и 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 в случае неудачи при сканировании.

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

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 символов.

Как показано типами значений выше, Bigarrays типа float32_elt и float64_elt доступны с помощью типа OCaml float.

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

Изменить рабочую директорию процесса.

Изменить рабочую директорию процесса.

Изменить текущую рабочую директорию процесса.

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

Проверить, валидна ли геометрия форматировщика: 1 < max_indent < margin

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

Изменить разрешения указанного файла.

Изменить разрешения указанного файла.

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

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

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

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

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

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

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

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

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

То же, что и Filename.remove_extension, но вызывает исключение Invalid_argument, если у данного имени пустой расширение.

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

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

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

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

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

Изменить корневую директорию процесса.

Изменить корневую директорию процесса.

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

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

Удалить все недействительные пары.

Удалить все недействительные пары.

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

Очистить все элементы из стека.

Очистить все элементы из очереди.

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

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

Удалить все временные объекты из корзины.

Удалить все временные объекты из корзины.

Удалить все временные объекты из корзины.

Очистить буфер.

Сбросить флаг «закрывать при выполнении» для данного дескриптора.

Сбросить флаг «закрывать при выполнении» для данного дескриптора.

Очистить флаг «без ожидания» для данного дескриптора.

Очистить флаг «без ожидания» для данного дескриптора.

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

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.

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

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

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

Возвращает ASCII-код аргумента.

Преобразует пару списков в список пар: 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 в лексикографическом порядке.

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

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

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

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

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

compare cmp o0 o1 — полное упорядочение вариантов, используя 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, но более эффективной.

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

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

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

Функция сравнения для символов, со спецификацией, аналогичной compare.

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

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

compare b0 b1 — это полная упорядоченность для булевых значений.

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

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

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

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

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

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

См. Bigarray.char.

См. Bigarray.char.

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

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

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

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

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

То же, что и Float.ArrayLabels.append, но конкатенирует список float-массивов.

То же, что и Float.Array.append, но конкатенирует список float-массивов.

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.

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

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

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

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

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

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

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 () между итерациями повысит производительность на некоторых архитектурах процессоров.

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

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

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

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

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

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

create n возвращает эфемерный объект с n ключами.

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

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

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

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

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

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 в конце каждого цикла основного GC, начиная с текущего цикла или следующего.

create_cursor path_pid создаёт указатель для чтения из runtime_events.

create_float n возвращает новый float массив длиной n, с неинициализированными данными.

create_float n возвращает новый float массив длиной 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) обрабатываемого аргумента.

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

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 секунды.

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

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

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

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

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

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

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

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

Возвращает размер (размерность) заданного одномерного 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 в качестве источника исключения.

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

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

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

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

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

div x y - это операция деления x / y.

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

Деление

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

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

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

drop n xs — это последовательность xs, лишённая её первых n элементов.

drop_while p xs — это последовательность xs, лишённая префикса take_while p xs.

Значение типа position, гарантированно отличающееся от любого действительного положения.

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

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

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

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

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

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

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

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

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

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

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

Пустой массив.

Пустой массив.

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

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

Управляет возможностью OCaml runtime системы генерировать предупреждения в 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.

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

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

Аналогично 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 eq o0 o1 является true тогда и только тогда, когда o0 и o1 оба являются None или если они оба являются Some v0, Some v1, и eq v0 v1 является true.

Функция equal для целых чисел.

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.

Функция equal для int64.

Функция equal для int32.

equal x y является true тогда и только тогда, когда x = y.

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

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

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

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

Функция equal для 16-символьного дайджеста.

Функция equal для символов.

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

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

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

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

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

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

error e является Error e.

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

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

Преобразовать описание ошибки в сообщение, пригодное для вывода.

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

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

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

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

Возвращает копию аргумента со специальными символами, представленными последовательностями экранирования, в соответствии с лексическими соглашениями 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 xs p определяет, удовлетворяет ли хотя бы один элемент x последовательности xs предикату p x.

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 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, но для предиката с двумя аргументами.

Аналогично 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, то, что быстрее на типичном вводе.

Аналогично 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, которые удовлетворяют предикату p.

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

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

filter f l возвращает все элементы списка l, которые удовлетворяют предикату 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.

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

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

То же, что и 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, если такой привязки нет.

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

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

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

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

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

find_all — другое имя для ListLabels.filter.

find_all — другое имя для List.filter.

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

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_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_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_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_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.

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_right (Right v) — это Some v, find_right (Left _) — это None

first_chars s n возвращает первые n символы из s.

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

То же, что и ListLabels.concat.

То же, что и List.concat.

flip f меняет порядок аргументов бинарной функции f.

Random.float bound возвращает случайное число с плавающей точкой от 0 до bound (включительно).

То же, что и float_of_int.

См. Bigarray.char.

См. Bigarray.char.

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

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

Преобразует целое число в число с плавающей точкой.

То же, что и float_of_string_opt, но вызывает Failure "float_of_string" вместо возвращения None.

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

Округляет вниз до целого значения.

Округляет вниз до целого значения.

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

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

Сбрасывает все открытые выходные каналы; игнорирует ошибки.

Сбрасывает все открытые выходные каналы; игнорирует ошибки.

Удаляет содержимое буфера и сбрасывает текущую позицию в 0.

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

flush_symbolic_output_buffer sob возвращает содержимое буфера sob и сбрасывает буфер sob.

fma x y z возвращает x * y + z, с наилучшей попыткой вычислить это выражение с одним округлением, используя либо аппаратные инструкции (обеспечивающие полное соответствие IEEE), либо программную эмуляцию.

fold f t init вычисляет (f d1 (... (f dN init))), где d1 ... dN являются элементами t в каком-то неопределенном порядке.

fold f accu s это (f (... (f (f accu x1) x2) ...) xn), где x1 это верх стека, x2 второй элемент и xn нижний элемент.

fold f s init вычисляет (f xN ... (f x2 (f x1 init))...), где x1 ... xN являются элементами s в возрастающем порядке.

fold ~ok ~error r это ok v если r это Ok v и error e если r это Error e.

fold f accu q эквивалентно List.fold_left f accu l, где l это список элементов q.

fold ~none ~some o это none если o это None и some v если o это Some v.

fold ~f s init вычисляет (f xN ... (f x2 (f x1 init))...), где x1 ... xN являются элементами s в возрастающем порядке.

fold ~f m ~init вычисляет (f kN dN ... (f k1 d1 init)...), где k1 ... kN являются ключами всех привязок в m (в возрастающем порядке), а d1 ... dN являются связанными данными.

Hashtbl.fold ~f tbl ~init вычисляет (f kN dN ... (f k1 d1 init)...), где k1 ... kN являются ключами всех привязок в tbl, а d1 ... dN являются связанными значениями.

fold f m init вычисляет (f kN dN ... (f k1 d1 init)...), где k1 ... kN являются ключами всех привязок в m (в возрастающем порядке), а d1 ... dN являются связанными данными.

Hashtbl.fold f tbl init вычисляет (f kN dN ... (f k1 d1 init)...), где k1 ... kN являются ключами всех привязок в tbl, а d1 ... dN являются связанными значениями.

fold ~left ~right (Left v) это left v, и fold ~left ~right (Right v) это right v.

fold_left f x s вычисляет f (... (f (f x s.[0]) s.[1]) ...) s.[n-1], где n это длина строки s.

fold_left f x s вычисляет f (... (f (f x s.[0]) s.[1]) ...) s.[n-1], где n это длина строки s.

fold_left f _ xs вызывает f _ x последовательно для каждого элемента x последовательности xs, слева направо.

fold_left ~f ~init [b1; ...; bn] это f (... (f (f init b1) b2) ...) bn.

fold_left f init [b1; ...; bn] это f (... (f (f init b1) b2) ...) bn.

fold_left ~f x ~init вычисляет f (... (f (f x init.(0)) init.(1)) ...) init.(n-1), где n это длина массива чисел с плавающей точкой init.

fold_left f x init вычисляет f (... (f (f x init.(0)) init.(1)) ...) init.(n-1), где n — длина float массива init.

fold_left f x s вычисляет f (... (f (f x (get s 0)) (get s 1)) ...) (get s (n-1)), где n — длина s.

fold_left f x s вычисляет f (... (f (f x (get s 0)) (get s 1)) ...) (get s (n-1)), где n — длина s.

fold_left ~f ~init a вычисляет f (... (f (f init a.(0)) a.(1)) ...) a.(n-1), где n — длина массива a.

fold_left f init a вычисляет f (... (f (f init a.(0)) a.(1)) ...) a.(n-1), где n — длина массива a.

fold_left2 f _ xs ys последовательно вызывает f _ x y для каждой пары (x, y) элементов, синхронно извлечённых из последовательностей xs и ys.

fold_left2 ~f ~init [a1; ...; an] [b1; ...; bn] это f (... (f (f init a1 b1) a2 b2) ...) an bn.

fold_left2 f init [a1; ...; an] [b1; ...; bn] это f (... (f (f init a1 b1) a2 b2) ...) an bn.

fold_left_map — это комбинация fold_left и map, которая передает накопитель через вызовы f.

fold_left_map — это комбинация fold_left и map, которая передает накопитель через вызовы f.

fold_left_map — это комбинация ArrayLabels.fold_left и ArrayLabels.map, которая передает накопитель через вызовы f.

fold_left_map — это комбинация Array.fold_left и Array.map, которая передает накопитель через вызовы f.

fold_lefti f _ xs последовательно вызывает f _ i x для каждого элемента x, расположенного по индексу i в последовательности xs.

fold_right f s x вычисляет f s.[0] (f s.[1] ( ... (f s.[n-1] x) ...)), где n — длина строки s.

fold_right f s x вычисляет f s.[0] (f s.[1] ( ... (f s.[n-1] x) ...)), где n — длина строки s.

fold_right ~f [a1; ...; an] ~init это f a1 (f a2 (... (f an init) ...)).

fold_right f [a1; ...; an] init это f a1 (f a2 (... (f an init) ...)).

fold_right f a init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина float массива a.

fold_right f a init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина float массива a.

fold_right f s x вычисляет f (get s 0) (f (get s 1) ( ... (f (get s (n-1)) x) ...)), где n — длина s.

fold_right f s x вычисляет f (get s 0) (f (get s 1) ( ... (f (get s (n-1)) x) ...)), где n — длина s.

fold_right ~f a ~init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина массива a.

fold_right f a init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина массива a.

fold_right2 ~f [a1; ...; an] [b1; ...; bn] ~init это f a1 b1 (f a2 b2 (... (f an bn init) ...)).

fold_right2 f [a1; ...; an] [b1; ...; bn] init это f a1 b1 (f a2 b2 (... (f an bn init) ...)).

for_all p s проверяет, удовлетворяют ли все символы в s предикату p.

for_all p s проверяет, удовлетворяют ли все символы в s предикату p.

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

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

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

for_all ~f m проверяет, удовлетворяют ли все связи карты предикату f.

for_all f m проверяет, удовлетворяют ли все связи карты предикату f.

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

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

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

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

for_all ~left ~right (Left v) это left v, и for_all ~left ~right (Right v) это right v.

for_all p s проверяет, удовлетворяют ли все символы в s предикату p.

for_all p s проверяет, удовлетворяют ли все символы в s предикату p.

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

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

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

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

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

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

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

force x принудительно выполняет приостановку x и возвращает результат.

Принудительно переводит курсор на новую строку в текущем блоке форматирования.

force_val x принудительно выполняет приостановку x и возвращает результат.

forever f — бесконечная последовательность, где каждый элемент генерируется (по запросу) вызовом функции f().