類型索引

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]	網際網路位址的抽象類型。
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 類型，該類型是可以儲存在 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` 會將格式字串 `fmt` 指定的所有引數套用至 `f`，當 `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` 的三維 Bigarray 的類型。
t [Bigarray.Array2]	元素具有 OCaml 類型 `'a`、表示種類 `'b` 和記憶體配置 `'c` 的二維 Bigarray 的類型。
t [Bigarray.Array1]	元素具有 OCaml 類型 `'a`、表示種類 `'b` 和記憶體配置 `'c` 的一維 Bigarray 的類型。
t [Bigarray.Array0]	元素具有 OCaml 類型 `'a`、表示種類 `'b` 和記憶體配置 `'c` 的零維 Bigarray 的類型。
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` 的旗標。