module Callback: Callback
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
的第一個參數傳遞。