Индекс типов

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]	Тип элементов множества.
eq [Type]	`eq` предназначен для представления равенств типов, которые могут быть неизвестны проверке типов (например,
error [UnixLabels]	Тип кодов ошибок.
error [Unix]	Тип кодов ошибок.
error [Dynlink]
event [Event]	Тип событий связи, возвращающих результат типа `'a`.
extern_flags [Marshal]
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]	Тип прав доступа к файлам, например:
float16_elt [Bigarray]
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 [CamlinternalFormatBasics]
format6 [Stdlib]
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 [Stdlib]	Пять классов чисел с плавающей запятой, определяемые функцией `classify_float`.
fpclass [Float]	Пять классов чисел с плавающей запятой, определяемые функцией `Float.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 [Stdlib]	Тип входного канала.
in_channel [Scanf.Scanning]	Понятие входного канала для модуля `Scanf`: эти каналы предоставляют всю необходимую механику для чтения из любого источника символов, включая значение `in_channel`.
inet_addr [UnixLabels]	Абстрактный тип адресов Интернета.
inet_addr [Unix]	Абстрактный тип адресов Интернета.
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]
lexbuf [Lexing]	Тип буферов лексического анализатора.

lifecycle [Runtime_events]	События жизненного цикла самого кольца.
linking_error [Dynlink]
location [Printexc]	Тип информации о местоположении, найденной в стеках вызовов.
lock_command [UnixLabels]	Команды для `UnixLabels.lockf`.
lock_command [Unix]	Команды для `Unix.lockf`.
M
meth [CamlinternalOO]
msg_flag [UnixLabels]	Флаги для `UnixLabels.recv`, `UnixLabels.recvfrom`, `UnixLabels.send` и `UnixLabels.sendto`.
msg_flag [Unix]	Флаги для `Unix.recv`, `Unix.recvfrom`, `Unix.send` и `Unix.sendto`.
mutable_char_set [CamlinternalFormat]
N
name_info [UnixLabels]	Информация о хосте и службе, возвращаемая `UnixLabels.getnameinfo`.
name_info [Unix]	Информация о хосте и службе, возвращаемая `Unix.getnameinfo`.
nativeint_elt [Bigarray]
node [Seq]	Узел — это либо `Nil`, что означает, что последовательность пуста, или `Cons (x, xs)`, что означает, что `x` — первый элемент последовательности, а `xs` — остаток последовательности.
O
obj [CamlinternalOO]
obj_t [Obj.Ephemeron]	псевдоним для `Obj.t`
ocaml_release_info [Sys]
open_flag [UnixLabels]	Флаги для `UnixLabels.openfile`.
open_flag [Unix]	Флаги для `Unix.openfile`.
open_flag [Stdlib]	Режимы открытия для `open_out_gen` и `open_in_gen`.
open_flag [Out_channel]	Режимы открытия для `Out_channel.open_gen`.
open_flag [In_channel]	Режимы открытия для `In_channel.open_gen`.
out_channel [Stdlib]	Тип выходного канала.
P
pad_option [CamlinternalFormatBasics]
padding [CamlinternalFormatBasics]
padty [CamlinternalFormatBasics]
param_format_ebb [CamlinternalFormat]
params [CamlinternalOO]
passwd_entry [UnixLabels]	Структура записей в базе данных `passwd`.
passwd_entry [Unix]	Структура записей в базе данных `passwd`.
position [Lexing]	Значение типа `position` описывает точку в исходном файле.
prec_option [CamlinternalFormatBasics]
precision [CamlinternalFormatBasics]
process_status [UnixLabels]	Код завершения процесса.
process_status [Unix]	Код завершения процесса.
process_times [UnixLabels]	Время выполнения (время процессора) процесса.
process_times [Unix]	Время выполнения (время процессора) процесса.
protocol_entry [UnixLabels]	Структура записей в базе данных `protocols`.
protocol_entry [Unix]	Структура записей в базе данных `protocols`.
R
raw_backtrace [Printexc]	Тип `raw_backtrace` хранит стек вызовов в низкоуровневом формате, который можно преобразовать в удобную форму с помощью `raw_backtrace_entries` и `backtrace_slots_of_raw_entry` ниже.
raw_backtrace_entry [Printexc]	Элемент `raw_backtrace_entry` является элементом `raw_backtrace`.
raw_backtrace_slot [Printexc]	Этот тип используется для итерации по слотам `raw_backtrace`.
raw_data [Obj]
ref [Stdlib]	Тип ссылок (мутабельных ячеек косвенного обращения), содержащих значение типа `'a`.
regexp [Str]	Тип скомпилированных регулярных выражений.
repr [Sys.Immediate64.Make]
result [Stdlib]
runtime_counter [Runtime_events]	Тип для счетчиков событий, генерируемых во время выполнения.
runtime_phase [Runtime_events]	Тип для событий временных отрезков, генерируемых во время выполнения.
S
scanbuf [Scanf.Scanning]	Тип буферов сканирования.
scanner [Scanf]	Тип сканеров форматированного ввода: `('a, 'b, 'c, 'd) scanner` — это тип функции форматированного ввода, которая считывает из канала форматированного ввода согласно строке формата; точнее, если `scan` — это некоторая функция форматированного ввода, то `scan ic fmt f` применяет `f` ко всем аргументам, указанным в строке формата `fmt`, когда `scan` прочитала эти аргументы из канала форматированного ввода `Scanf.Scanning.in_channel` `ic`.
scanner_opt [Scanf]
seek_command [UnixLabels]	Режимы позиционирования для `UnixLabels.lseek`.
seek_command [Unix]	Режимы позиционирования для `Unix.lseek`.
service_entry [UnixLabels]	Структура записей в базе данных `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]	Тип типов сокетов, определяющий семантику коммуникаций.
span [Runtime_events.Type]
spec [Arg]	Конкретный тип, описывающий поведение, связанное с ключевым словом.
split_result [Str]
stag [Format]	Семантические теги (или просто теги) — это определённые пользователем аннотации, которые используются для ассоциирования определённых пользователем операций с выводимыми сущностями.
stat [Gc]	Счётчики управления памятью возвращаются в записи `stat`.
statistics [MoreLabels.Hashtbl]
statistics [Hashtbl]
stats [CamlinternalOO]
stats [UnixLabels.LargeFile]
stats [UnixLabels]	Информация, возвращаемая вызовами `UnixLabels.stat`.
stats [Unix.LargeFile]
stats [Unix]	Информация, возвращаемая вызовами `Unix.stat`.
symbolic_output_buffer [Format]	Буфер вывода символического красивого принтера.
symbolic_output_item [Format]	Элементы, созданные символическими красивыми принтерами
T
t [CamlinternalOO]
t [CamlinternalLazy]
t [Thread]	Тип дескрипторов потоков.
t [Weak.S]	Тип таблиц, содержащих элементы типа `data`.
t [Weak]	Тип массивов слабых указателей (слабые массивы).
t [Unit]	Единичный тип.
t [Uchar]	Тип для символов Юникода.
t [Type.Id]	Тип для идентификаторов типа `'a`.
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 [Runtime_events.Callbacks]	Тип обратных вызовов.
t [Runtime_events.User]	Тип для события пользователя.
t [Runtime_events.Type]	Тип для типа содержимого события пользователя.
t [Runtime_events.Timestamp]	Тип для 64-битного временного отметки, для будущих изменений.

t [Результат]	Тип для значений результатов.
t [Случайное состояние]	Тип состояний генератора псевдослучайных чисел.
t [Очередь]	Тип очередей, содержащих элементы типа `'a`.
t [Printexc.Слоты]
t [Printexc]	Тип значений исключений.
t [Выходной канал]	Тип выходного канала.
t [Вариант]	Тип для значений вариантов.
t [Obj.Эфемерон]	Эфемерон, см. `Obj.Ephemeron`
t [Obj.Конструктор расширения]
t [Объект]
t [Целое число]	Псевдоним для типа целых чисел.
t [Мьютекс]	Тип мьютексов.
t [MoreLabels.Множество.УпорядоченныйТип]	Тип элементов множества.
t [MoreLabels.Множество.S]	Тип множеств.
t [MoreLabels.Карта.УпорядоченныйТип]	Тип ключей карты.
t [MoreLabels.Карта.S]	Тип карт от типа `key` к типу `'a`.
t [MoreLabels.ХэшТаблица.ЗасеянныйХэшированныйТип]	Тип ключей хэш-таблицы.
t [MoreLabels.ХэшТаблица.ХэшированныйТип]	Тип ключей хэш-таблицы.
t [MoreLabels.ХэшТаблица.ЗасеянныйS]
t [MoreLabels.ХэшТаблица.S]
t [MoreLabels.ХэшТаблица]	Тип хэш-таблиц от типа `'a` к типу `'b`.
t [Карта.УпорядоченныйТип]	Тип ключей карты.
t [Карта.S]	Тип карт от типа `key` к типу `'a`.
t [СписокМетки]	Псевдоним для типа списков.
t [Список]	Псевдоним для типа списков.
t [Ленивый]	Значение типа `'a Lazy.t` — это отложенное вычисление, называемое приостановкой, результатом которого является значение типа `'a`.
t [Int64]	Псевдоним для типа 64-битных целых чисел.
t [Int32]	Псевдоним для типа 32-битных целых чисел.
t [Целое]	Тип для целочисленных значений.
t [Входной канал]	Тип входного канала.
t [Hashtbl.ЗасеянныйХэшированныйТип]	Тип ключей хэш-таблицы.
t [Hashtbl.ХэшированныйТип]	Тип ключей хэш-таблицы.
t [Hashtbl.ЗасеянныйS]
t [Hashtbl.S]
t [ХэшТаблица]	Тип хэш-таблиц от типа `'a` к типу `'b`.
t [Gc.ПрофильПамяти]	Тип профиля.
t [Float.МассивМетки]	Тип массивов чисел с плавающей точкой с упакованным представлением.
t [Float.Массив]	Тип массивов чисел с плавающей точкой с упакованным представлением.
t [Число с плавающей точкой]	Псевдоним для типа чисел с плавающей точкой.
t [Ephemeron.Kn.Ведро]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.Kn]	Эфемерон с произвольным количеством ключей одного типа.
t [Ephemeron.K2.Ведро]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.K2]	Эфемерон с двумя ключами.
t [Ephemeron.K1.Ведро]	Ведро — это изменяемый «список» эфемеронов.
t [Ephemeron.ЗасеянныйS]
t [Ephemeron.S]
t [Ephemeron.K1]	Эфемерон с одним ключом.
t [Либо]	Значение `('a, 'b) Either.t` содержит либо значение `'a`, либо значение `'b`.
t [Эффект]	Тип эффектов.
t [Динамический массив]	Динамический массив, содержащий значения типа `'a`.
t [Область]	Область типа `'a t` выполняется независимо, в конечном итоге генерируя результат типа 'a или исключение.
t [Digest.S]	Тип дайджестов.
t [Дайджест]	Тип дайджестов: 16-байтовые строки.
t [Условие]	Тип переменных условия.
t [Комплексное число]	Тип комплексных чисел.
t [Символ]	Псевдоним для типа символов.
t [СтрокиМетки]	Псевдоним для типа последовательностей байтов.
t [Строки]	Псевдоним для типа последовательностей байтов.
t [Буфер]	Абстрактный тип буферов.
t [Булево]	Тип булевых значений (логические значения).
t [Bigarray.Массив3]	Тип трехмерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и расположение в памяти `'c`.
t [Bigarray.Массив2]	Тип двумерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и расположение в памяти `'c`.
t [Bigarray.Массив1]	Тип одномерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и расположение в памяти `'c`.
t [Bigarray.Массив0]	Тип нульмерных Bigarray, элементы которых имеют тип OCaml `'a`, вид представления `'b`, и расположение в памяти `'c`.

t [Bigarray.Genarray]	Тип `Genarray.t` — это тип Bigarray с переменным числом измерений.
t [Atomic]	Атомарная (изменяемая) ссылка на значение типа `'a`.
t [ArrayLabels]	Псевдоним типа массивов.
t [Array]	Псевдоним типа массивов.
table [CamlinternalOO]
tables [CamlinternalOO]
tag [CamlinternalOO]
tag [Runtime_events.User]	Тип для тега события пользователя.
tag [Format]
terminal_io [UnixLabels]
terminal_io [Unix]
tm [UnixLabels]	Тип, представляющий время и календарную дату.
tm [Unix]	Тип, представляющий время и календарную дату.
tracker [Gc.Memprof]	`('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`.