类型索引

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]	警报是一段数据，在主 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]	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 [Format]	特定于格式化程序的一组输出函数：`out_string` 函数执行所有漂亮打印机的字符串输出。它被调用带有字符串 `s`、起始位置 `p` 和字符数 `n`；它应该输出 `s` 的字符 `p` 到 `p + n - 1`。，`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 [Format]	特定于格式化程序的语义标签处理函数：`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 [Format]
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 [Domain]	域具有唯一的整数标识符。
ignored [CamlinternalFormatBasics]
impl [CamlinternalOO]
in_channel [Stdlib]	输入通道的类型。
in_channel [Scanf.Scanning]	`Scanf` 模块的输入通道概念：这些通道提供了从任何字符源读取所需的所有机制，包括 `in_channel` 值。
inet_addr [UnixLabels]	Internet 地址的抽象类型。
inet_addr [Unix]	Internet 地址的抽象类型。
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 类型，它是可以存储在 Bigarray 中或从中读取回的 OCaml 值的类型。
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]	进程的执行时间（CPU 时间）。
process_times [Unix]	进程的执行时间（CPU 时间）。
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]	Unicode 字符的类型。
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]	类型为 `'a t` 的序列 `xs` 是类型为 `'a` 的元素的延迟列表。
t [Semaphore.Binary]	二元信号量的类型。
t [Semaphore.Counting]	计数信号量的类型。
t [Runtime_events.Callbacks]	回调的类型。
t [Runtime_events.User]	用户事件的类型。
t [Runtime_events.Type]	用户事件内容类型的类型。
t [Runtime_events.Timestamp]	int64 时间戳的类型，以允许将来的更改。
t [Result]	结果值的类型。
t [Random.State]	PRNG 状态的类型。
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 [Gc.Memprof]	概要文件的类型
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 [Dynarray]	包含类型 `'a` 值的动态数组。
t [Domain]	类型 `'a t` 的域独立运行，最终产生类型 'a 的结果，或异常
t [Digest.S]	摘要的类型。
t [Digest]	摘要的类型：16 字节字符串。
t [Condition]	条件变量的类型。
t [Complex]	复数的类型。
t [Char]	字符类型的别名。
t [BytesLabels]	字节序列类型的别名。
t [Bytes]	字节序列类型的别名。
t [Buffer]	缓冲区的抽象类型。
t [Bool]	布尔值（真值）的类型。
t [Bigarray.Array3]	三维大数组的类型，其元素具有 OCaml 类型 `'a`，表示种类 `'b` 和内存布局 `'c`。
t [Bigarray.Array2]	二维大数组的类型，其元素具有 OCaml 类型 `'a`，表示种类 `'b` 和内存布局 `'c`。
t [Bigarray.Array1]	一维大数组的类型，其元素具有 OCaml 类型 `'a`，表示种类 `'b` 和内存布局 `'c`。
t [Bigarray.Array0]	零维大数组的类型，其元素具有 OCaml 类型 `'a`，表示种类 `'b` 和内存布局 `'c`。
t [Bigarray.Genarray]	类型 `Genarray.t` 是具有可变维度数量的大数组的类型。
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` 的标志。