模块 Stdlib.Callback

module Callback: Callback

val register : string -> 'a -> unit

Callback.register n v 使用名称 n 注册值 v。C 代码稍后可以通过调用 caml_named_value(n) 来检索 v 的句柄。

val register_exception : string -> exn -> unit

Callback.register_exception n exn 使用名称 n 注册异常值 exn 中包含的异常。C 代码稍后可以通过调用 caml_named_value(n) 来检索该异常的句柄。这样获得的异常值适合作为 raise_constant 或 raise_with_arg 的第一个参数传递。