Индекс типов

A
acc [CamlinternalFormat]
acc_formatting_gen [CamlinternalFormat]
access_permission [UnixLabels]	Флаги для вызова `UnixLabels.access`.
access_permission [Unix]	Флаги для вызова `Unix.access`.
addr_info [UnixLabels]	Информация об адресе, возвращаемая `UnixLabels.getaddrinfo`.
addr_info [Unix]	Информация об адресе, возвращаемая `Unix.getaddrinfo`.
alarm [Gc]	Предупреждение — это данные, которые вызывают пользовательскую функцию в конце каждого основного цикла сборки мусора.
allocation [Gc.Memprof]	Тип метаданных, связанных с выделением памяти.
allocation_source [Gc.Memprof]
anon_fun [Arg]
B
backend_type [Sys]	В настоящее время официальное распространение поддерживает только `Native` и `Bytecode`, но это могут быть и другие бэкэнды с альтернативными компиляторами, например, javascript.
backtrace_slot [Printexc]	Абстрактный тип `backtrace_slot` представляет собой один слот трассировки стека.
block_type [CamlinternalFormatBasics]
C
c_layout [Bigarray]	См. `Bigarray.fortran_layout`.
channel [Event]	Тип каналов связи, передающих значения типа `'a`.
char_set [CamlinternalFormatBasics]
closure [CamlinternalOO]
complex32_elt [Bigarray]
complex64_elt [Bigarray]
continuation [Effect.Shallow]	`('a,'b) continuation` — это ограниченное продолжение, которое ожидает значение `'a` и возвращает значение `'b`.
continuation [Effect.Deep]	`('a,'b) continuation` — это ограниченное продолжение, которое ожидает значение `'a` и возвращает значение `'b`.
control [Gc]	Параметры сборки мусора задаются как запись `control`.
counter [CamlinternalFormatBasics]
cursor [Runtime_events]	Тип курсора, используемого при чтении
custom_arity [CamlinternalFormatBasics]
D
data [Weak.S]	Тип элементов, хранящихся в таблице.
dir_handle [UnixLabels]	Тип дескрипторов открытых каталогов.
dir_handle [Unix]	Тип дескрипторов открытых каталогов.
doc [Arg]
E
effect_handler [Effect.Deep]	`'a effect_handler` — это глубокий обработчик со встроенным обработчиком идентичности `fun x -> x` и обработчиком исключений, который поднимает любые исключения `fun e -> raise e`.
elt [Set.S]	Тип элементов множества.
elt [MoreLabels.Set.S]	Тип элементов множества.
error [UnixLabels]	Тип кодов ошибок.
error [Unix]	Тип кодов ошибок.
error [Dynlink]
event [Event]	Тип событий связи, возвращающих результат типа `'a`.
extern_flags [Marshal]	Флаги для функций `Marshal.to_*` ниже.
extra_info [Sys]
extra_prefix [Sys]
F
file_descr [UnixLabels]	Абстрактный тип дескрипторов файлов.
file_descr [Unix]	Абстрактный тип дескрипторов файлов.
file_kind [UnixLabels]
file_kind [Unix]
file_name [Scanf.Scanning]	Удобный псевдоним для обозначения имени файла.
file_perm [UnixLabels]	Тип прав доступа к файлам, например:
file_perm [Unix]	Тип прав доступа к файлам, например:
float32_elt [Bigarray]
float64_elt [Bigarray]
float_conv [CamlinternalFormatBasics]
float_flag_conv [CamlinternalFormatBasics]
float_kind_conv [CamlinternalFormatBasics]
flow_action [UnixLabels]
flow_action [Unix]
flush_queue [UnixLabels]
flush_queue [Unix]
fmt [CamlinternalFormatBasics]	Список элементов формата.
fmt_ebb [CamlinternalFormat]
fmtty [CamlinternalFormatBasics]
fmtty_rel [CamlinternalFormatBasics]
format [Stdlib]
format4 [Stdlib]
format6 [Stdlib]
format6 [CamlinternalFormatBasics]
formatter [Format]	Абстрактные данные, соответствующие красивому принтеру (также называемому форматирователем) и всем его механизмам.

formatter_out_functions [Формат]	Набор функций вывода, специфичных для форматера: функция `out_string` выполняет весь вывод красивого принтера в строку. Она вызывается со строкой `s`, начальной позицией `p`, и количеством символов `n`; она должна выводить символы `p` по `p + n - 1` из `s`., функция `out_flush` сбрасывает буфер вывода красивого принтера., функция `out_newline` вызывается для открытия новой строки, когда красивым принтером разделяются строки., функция `out_spaces` выводит пробелы, когда подсказка разрыва приводит к пробелам вместо разрыва строки. Она вызывается с количеством пробелов для вывода., функция `out_indent` выполняет отступ новой строки при разбиении строки красивым принтером. Она вызывается со значением отступа новой строки. По умолчанию: поля `out_string` и `out_flush` зависят от устройства вывода; (например, `output_string` и `flush` для устройства `out_channel`, или `Buffer.add_substring` и `ignore` для устройства вывода `Buffer.t`),, поле `out_newline` эквивалентно `out_string "\n" 0 1`;, поля `out_spaces` и `out_indent` эквивалентны `out_string (String.make n ' ') 0 n`.
formatter_stag_functions [Формат]	Функции обработки семантических тегов, специфичные для форматера: версии `mark` — это функции «пометки тегов», которые связывают маркер строки с тегом, чтобы механизм красивого форматирования мог записать эти маркеры как токены длины 0 в устройство вывода форматера.
formatting_gen [CamlinternalFormatBasics]
formatting_lit [CamlinternalFormatBasics]
fortran_layout [Bigarray]	Для обеспечения совместимости с существующим кодом C и Fortran эта библиотека поддерживает два различных макета памяти для Bigarray, один совместимый с соглашениями C, другой — с соглашениями Fortran.
fpclass [Float]	Пять классов чисел с плавающей запятой, определённых функцией `Float.classify_float`.
fpclass [Stdlib]	Пять классов чисел с плавающей запятой, определённых функцией `classify_float`.
G
geometry [Формат]
getaddrinfo_option [UnixLabels]	Параметры для `UnixLabels.getaddrinfo`.
getaddrinfo_option [Unix]	Параметры для `Unix.getaddrinfo`.
getnameinfo_option [UnixLabels]	Параметры для `UnixLabels.getnameinfo`.
getnameinfo_option [Unix]	Параметры для `Unix.getnameinfo`.
group_entry [UnixLabels]	Структура записей в базе данных `groups`.
group_entry [Unix]	Структура записей в базе данных `groups`.
H
handler [Effect.Shallow]	`('a,'b) handler` — это запись обработчика с тремя полями: `retc` — обработчик значений, `exnc` обрабатывает исключения, и `effc` обрабатывает эффекты, выполненные вычислением, заключённым в обработчик.
handler [Effect.Deep]	`('a,'b) handler` — это запись обработчика с тремя полями: `retc` — обработчик значений, `exnc` обрабатывает исключения, и `effc` обрабатывает эффекты, выполненные вычислением, заключённым в обработчик.
heter_list [CamlinternalFormat]
host_entry [UnixLabels]	Структура записей в базе данных `hosts`.
host_entry [Unix]	Структура записей в базе данных `hosts`.
I
id [Область]	Области имеют уникальные целочисленные идентификаторы
ignored [CamlinternalFormatBasics]
impl [CamlinternalOO]
in_channel [Scanf.Scanning]	Понятие канала ввода для модуля `Scanf`: эти каналы обеспечивают всю необходимую механику для чтения из любого источника символов, включая значение `in_channel`.
in_channel [Stdlib]	Тип канала ввода.
inet_addr [UnixLabels]	Абстрактный тип интернет-адресов.
inet_addr [Unix]	Абстрактный тип интернет-адресов.
info [Obj.Closure]
init_table [CamlinternalOO]
int16_signed_elt [Bigarray]
int16_unsigned_elt [Bigarray]
int32_elt [Bigarray]
int64_elt [Bigarray]
int8_signed_elt [Bigarray]
int8_unsigned_elt [Bigarray]
int_conv [CamlinternalFormatBasics]
int_elt [Bigarray]
interval_timer [UnixLabels]	Три вида таймеров интервалов.
interval_timer [Unix]	Три вида таймеров интервалов.
interval_timer_status [UnixLabels]	Тип, описывающий состояние таймера интервалов
interval_timer_status [Unix]	Тип, описывающий состояние таймера интервалов
K
key [MoreLabels.Map.S]	Тип ключей карты.
key [MoreLabels.Hashtbl.SeededS]
key [MoreLabels.Hashtbl.S]
key [Map.S]	Тип ключей карты.
key [Hashtbl.SeededS]
key [Hashtbl.S]
key [Ephemeron.SeededS]
key [Ephemeron.S]
key [Domain.DLS]	Тип ключа DLS
key [Arg]
kind [Bigarray]	Каждому виду элемента соответствует тип OCaml, который является типом значений OCaml, которые могут быть сохранены в Bigarray или считаны из него.
L
label [CamlinternalOO]
layout [Bigarray]

лексбуф [Лексирование]	Тип буферов лексического анализатора.
жизненный_цикл [События_выполнения]	События жизненного цикла для самого кольца
ошибка_связывания [Динамическая_связь]
местоположение [Вывод_исключений]	Тип информации о местоположении, найденной в трассировках стека.
команда_блокировки [Unix_метки]	Команды для `UnixLabels.lockf`.
команда_блокировки [Unix]	Команды для `Unix.lockf`.
М
метод [CamlinternalOO]
флаг_сообщения [Unix_метки]	Флаги для `UnixLabels.recv`, `UnixLabels.recvfrom`, `UnixLabels.send` и `UnixLabels.sendto`.
флаг_сообщения [Unix]	Флаги для `Unix.recv`, `Unix.recvfrom`, `Unix.send` и `Unix.sendto`.
изменяемый_набор_символов [CamlinternalFormat]
Н
информация_о_имени [Unix_метки]	Информация об хосте и службе, возвращаемая `UnixLabels.getnameinfo`.
информация_о_имени [Unix]	Информация об хосте и службе, возвращаемая `Unix.getnameinfo`.
элемент_целого_числа_с_родным_типом [Bigarray]
узел [Последовательность]	Узел — это либо `Nil`, что означает пустую последовательность, либо `Cons (x, xs)`, что означает, что `x` — первый элемент последовательности, а `xs` — остальная часть последовательности.
О
объект [CamlinternalOO]
тип_объекта [Obj.Ephemeron]	Псевдоним для `Obj.t`
информация_о_выпуске_ocaml [Sys]
флаг_открытия [Unix_метки]	Флаги для `UnixLabels.openfile`.
флаг_открытия [Unix]	Флаги для `Unix.openfile`.
флаг_открытия [Вывод_канал]	Режимы открытия для `Out_channel.open_gen`.
флаг_открытия [Входной_канал]	Режимы открытия для `In_channel.open_gen`.
флаг_открытия [Stdlib]	Режимы открытия для `open_out_gen` и `open_in_gen`.
выходной_канал [Stdlib]	Тип выходного канала.
П
вариант_заполнения [CamlinternalFormatBasics]
заполнение [CamlinternalFormatBasics]
тип_заполнения [CamlinternalFormatBasics]
формат_параметра_ebb [CamlinternalFormat]
параметры [CamlinternalOO]
запись_паролей [Unix_метки]	Структура записей в базе данных `passwd`.
запись_паролей [Unix]	Структура записей в базе данных `passwd`.
позиция [Лексирование]	Значение типа `position` описывает точку в исходном файле.
вариант_точности [CamlinternalFormatBasics]
точность [CamlinternalFormatBasics]
статус_процесса [Unix_метки]	Статус завершения процесса.
статус_процесса [Unix]	Статус завершения процесса.
время_процесса [Unix_метки]	Время выполнения (время ЦП) процесса.
время_процесса [Unix]	Время выполнения (время ЦП) процесса.
запись_протокола [Unix_метки]	Структура записей в базе данных `protocols`.
запись_протокола [Unix]	Структура записей в базе данных `protocols`.
Р
необработанная_трассировка_стека [Вывод_исключений]	Тип `raw_backtrace` хранит трассировку стека в низкоуровневом формате, который может быть преобразован в удобную форму с помощью `raw_backtrace_entries` и `backtrace_slots_of_raw_entry` ниже.
элемент_необработанной_трассировки_стека [Вывод_исключений]	Элемент `raw_backtrace_entry` является элементом `raw_backtrace`.
слот_необработанной_трассировки_стека [Вывод_исключений]	Этот тип используется для итерации по слотам `raw_backtrace`.
необработанные_данные [Obj]
ссылка [Stdlib]	Тип ссылок (мутабельных ячеек косвенного доступа), содержащих значение типа `'a`.
регулярное_выражение [Str]	Тип скомпилированных регулярных выражений.
представление [Sys.Immediate64.Make]
результат [Stdlib]
счетчик_выполнения [События_выполнения]	Тип для счетчиков событий, выпущенных процессом.
фаза_выполнения [События_выполнения]	Тип для событий охватывания, выпущенных процессом.
С
буфер_сканирования [Scanf.Scanning]	Тип буферов сканирования.
сканер [Scanf]	Тип сканеров форматированного ввода: `('a, 'b, 'c, 'd) scanner` — тип форматированной функции ввода, которая читает из канала форматированного ввода согласно строке формата; точнее, если `scan` — некоторая функция форматированного ввода, то `scan ic fmt f` применяет `f` ко всем аргументам, указанным в строке формата `fmt`, когда `scan` прочитал эти аргументы из `Scanf.Scanning.in_channel` канала форматированного ввода `ic`.
сканер_опт [Scanf]
команда_позиционирования_файла [Unix_метки]	Режимы позиционирования для `UnixLabels.lseek`.
команда_позиционирования_файла [Unix]	Режимы позиционирования для `Unix.lseek`.
запись_службы [Unix_метки]	Структура записей в базе данных `services`.

service_entry [Unix]	Структура записей в базе данных `services`.
setattr_when [UnixLabels]
setattr_when [Unix]
shape [CamlinternalMod]
shutdown_command [UnixLabels]	Тип команд для `shutdown`.
shutdown_command [Unix]	Тип команд для `shutdown`.
signal_behavior [Sys]	Что делать при получении сигнала: `Signal_default`: принять стандартное поведение (обычно: завершить программу), `Signal_ignore`: игнорировать сигнал, `Signal_handle f`: вызвать функцию `f`, передав ей номер сигнала в качестве аргумента.
sigprocmask_command [UnixLabels]
sigprocmask_command [Unix]
sockaddr [UnixLabels]	Тип адресов сокетов.
sockaddr [Unix]	Тип адресов сокетов.
socket_bool_option [UnixLabels]	Параметры сокета, которые можно просмотреть с помощью `UnixLabels.getsockopt` и изменить с помощью `UnixLabels.setsockopt`.
socket_bool_option [Unix]	Параметры сокета, которые можно просмотреть с помощью `Unix.getsockopt` и изменить с помощью `Unix.setsockopt`.
socket_domain [UnixLabels]	Тип доменов сокетов.
socket_domain [Unix]	Тип доменов сокетов.
socket_float_option [UnixLabels]	Параметры сокета, которые можно просмотреть с помощью `UnixLabels.getsockopt_float` и изменить с помощью `UnixLabels.setsockopt_float`.
socket_float_option [Unix]	Параметры сокета, которые можно просмотреть с помощью `Unix.getsockopt_float` и изменить с помощью `Unix.setsockopt_float`.
socket_int_option [UnixLabels]	Параметры сокета, которые можно просмотреть с помощью `UnixLabels.getsockopt_int` и изменить с помощью `UnixLabels.setsockopt_int`.
socket_int_option [Unix]	Параметры сокета, которые можно просмотреть с помощью `Unix.getsockopt_int` и изменить с помощью `Unix.setsockopt_int`.
socket_optint_option [UnixLabels]	Параметры сокета, которые можно просмотреть с помощью `UnixLabels.getsockopt_optint` и изменить с помощью `UnixLabels.setsockopt_optint`.
socket_optint_option [Unix]	Параметры сокета, которые можно просмотреть с помощью `Unix.getsockopt_optint` и изменить с помощью `Unix.setsockopt_optint`.
socket_type [UnixLabels]	Тип видов сокетов, определяющий семантику коммуникаций.
socket_type [Unix]	Тип видов сокетов, определяющий семантику коммуникаций.
spec [Arg]	Конкретный тип, описывающий поведение, связанное с ключевым словом.
split_result [Str]
stag [Format]	Семантические метки (или просто метки) — это пользовательские аннотации для ассоциации пользовательских операций с выводимыми сущностями.
stat [Gc]	Счетчики управления памятью возвращаются в записи `stat`.
statistics [MoreLabels.Hashtbl]
statistics [Hashtbl]
stats [UnixLabels.LargeFile]
stats [UnixLabels]	Информация, возвращаемая вызовами `UnixLabels.stat`.
stats [Unix.LargeFile]
stats [Unix]	Информация, возвращаемая вызовами `Unix.stat`.
stats [CamlinternalOO]
symbolic_output_buffer [Format]	Буфер вывода символического красивого принтера.
symbolic_output_item [Format]	Элементы, созданные символическими красивыми принтерами
T
t [Runtime_events.Callbacks]	Тип обратных вызовов
t [Runtime_events.Timestamp]	Тип для отметки времени int64 для будущих изменений
t [Thread]	Тип дескрипторов потоков.
t [CamlinternalOO]
t [CamlinternalLazy]
t [Weak.S]	Тип таблиц, содержащих элементы типа `data`.
t [Weak]	Тип массивов слабых указателей (слабые массивы).
t [Unit]	Тип единицы.
t [Uchar]	Тип для символов Юникода.
t [Sys.Immediate64.Immediate]
t [Sys.Immediate64.Non_immediate]
t [Sys.Immediate64.Make]
t [String]	Тип для строк.
t [StringLabels]	Тип для строк.
t [Stack]	Тип стеков, содержащих элементы типа `'a`.
t [Set.OrderedType]	Тип элементов множества.
t [Set.S]	Тип множеств.
t [Seq]	Последовательность `xs`, типа `'a t`, представляет собой отложенный список элементов типа `'a`.
t [Semaphore.Binary]	Тип двоичных семафоров.
t [Semaphore.Counting]	Тип счетных семафоров.
t [Result]	Тип значений результата.
t [Random.State]	Тип состояний генератора псевдослучайных чисел.
t [Queue]	Тип очередей, содержащих элементы типа `'a`.

t [Printexc.Slot]
t [Printexc]	Тип значений исключений.
t [Out_channel]	Тип канала вывода.
t [Option]	Тип значений опции.
t [Obj.Ephemeron]	эфемерон см. `Obj.Ephemeron`
t [Obj.Extension_constructor]
t [Obj]
t [Nativeint]	Псевдоним для типа целых чисел нативного размера.
t [Mutex]	Тип мьютексов.
t [MoreLabels.Set.OrderedType]	Тип элементов множества.
t [MoreLabels.Set.S]	Тип множеств.
t [MoreLabels.Map.OrderedType]	Тип ключей карты.
t [MoreLabels.Map.S]	Тип карт от типа `key` к типу `'a`.
t [MoreLabels.Hashtbl.SeededHashedType]	Тип ключей хэш-таблицы.
t [MoreLabels.Hashtbl.HashedType]	Тип ключей хэш-таблицы.
t [MoreLabels.Hashtbl.SeededS]
t [MoreLabels.Hashtbl.S]
t [MoreLabels.Hashtbl]	Тип хэш-таблиц от типа `'a` к типу `'b`.
t [Map.OrderedType]	Тип ключей карты.
t [Map.S]	Тип карт от типа `key` к типу `'a`.
t [ListLabels]	Псевдоним для типа списков.
t [List]	Псевдоним для типа списков.
t [Lazy]	Значение типа `'a Lazy.t` — это отложенное вычисление, называемое подвешенной операцией, результат которой имеет тип `'a`.
t [Int64]	Псевдоним для типа 64-битных целых чисел.
t [Int32]	Псевдоним для типа 32-битных целых чисел.
t [Int]	Тип для значений целых чисел.
t [In_channel]	Тип канала ввода.
t [Hashtbl.SeededHashedType]	Тип ключей хэш-таблицы.
t [Hashtbl.HashedType]	Тип ключей хэш-таблицы.
t [Hashtbl.SeededS]
t [Hashtbl.S]
t [Hashtbl]	Тип хэш-таблиц от типа `'a` к типу `'b`.
t [Float.ArrayLabels]	Тип массивов чисел с плавающей запятой с упакованным представлением.
t [Float.Array]	Тип массивов чисел с плавающей запятой с упакованным представлением.
t [Float]	Псевдоним для типа чисел с плавающей точкой.
t [Ephemeron.Kn.Bucket]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.Kn]	эфемерон с произвольным количеством ключей одного типа
t [Ephemeron.K2.Bucket]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.K2]	Эфемерон с двумя ключами.
t [Ephemeron.K1.Bucket]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.SeededS]
t [Ephemeron.S]
t [Ephemeron.K1]	Эфемерон с одним ключом.
t [Either]	Значение `('a, 'b) Either.t` содержит либо значение `'a`, либо значение `'b`.
t [Effect]	Тип эффектов.
t [Domain]	Область типа `'a t` работает независимо, в конечном итоге производя результат типа 'a или исключение.
t [Digest]	Тип дайджестов: строки длиной 16 символов.
t [Condition]	Тип условных переменных.
t [Complex]	Тип комплексных чисел.
t [Char]	Псевдоним для типа символов.
t [BytesLabels]	Псевдоним для типа последовательностей байтов.
t [Bytes]	Псевдоним для типа последовательностей байтов.
t [Buffer]	Абстрактный тип буферов.
t [Bool]	Тип булевых значений (логических значений).
t [Bigarray.Array3]	Тип трехмерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и макет памяти `'c`.
t [Bigarray.Array2]	Тип двумерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и макет памяти `'c`.
t [Bigarray.Array1]	Тип одномерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и макет памяти `'c`.
t [Bigarray.Array0]	Тип нульмерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и макет памяти `'c`.
t [Bigarray.Genarray]	Тип `Genarray.t` — это тип Bigarray с переменным количеством измерений.
t [Atomic]	Атомная (изменяемая) ссылка на значение типа `'a`.
t [ArrayLabels]	Псевдоним для типа массивов.
t [Array]	Псевдоним для типа массивов.
table [CamlinternalOO]
tables [CamlinternalOO]

тэг [CamlinternalOO]
тэг [Формат]
terminal_io [UnixLabels]
terminal_io [Unix]
tm [UnixLabels]	Тип, представляющий время и календарную дату.
tm [Unix]	Тип, представляющий время и календарную дату.
tracker [Gc.Memprof]	A `('minor, 'major) tracker` описывает, как memprof должен отслеживать образцы блоков на протяжении их жизненного цикла, сохраняя пользовательские данные для каждого из них: `'minor` — тип данных для хранения метаданных для мелких блоков, а `'major` — тип метаданных для крупных блоков.
U
usage_msg [Arg]
utf_decode [Uchar]	Тип для результатов декодирования UTF.
W
wait_flag [UnixLabels]	Флаги для `UnixLabels.waitpid`.
wait_flag [Unix]	Флаги для `Unix.waitpid`.