模組 Callback

module Callback: sig .. end

將 OCaml 值註冊到 C 執行期環境。

此模組允許將 OCaml 值以符號名稱註冊到 C 執行期環境，以便 C 程式碼稍後可以回呼已註冊的 OCaml 函式，或引發已註冊的 OCaml 例外。

val register : string -> 'a -> unit

Callback.register n v 將值 v 以名稱 n 註冊。C 程式碼稍後可以透過呼叫 caml_named_value(n) 來取得 v 的控制代碼。

val register_exception : string -> exn -> unit

Callback.register_exception n exn 將例外值 exn 中包含的例外以名稱 n 註冊。C 程式碼稍後可以透過呼叫 caml_named_value(n) 來取得例外的控制代碼。由此取得的例外值適用於作為 raise_constant 或 raise_with_arg 的第一個引數傳遞。