Модуль Callback

module Callback: sig .. end

Регистрация значений OCaml в C-времени выполнения.

Этот модуль позволяет регистрировать значения OCaml в C-времени выполнения под символическим именем, чтобы код C мог позже вызвать зарегистрированные OCaml-функции или поднять зарегистрированные OCaml-исключения.

val register : string -> 'a -> unit

Callback.register n v регистрирует значение v под именем n. Код C позже может получить дескриптор v, вызвав caml_named_value(n).

val register_exception : string -> exn -> unit

Callback.register_exception n exn регистрирует исключение, содержащееся в значении исключения exn под именем n. Код C позже может получить дескриптор исключения, вызвав caml_named_value(n). Полученное таким образом значение исключения подходит для передачи в качестве первого аргумента функциям raise_constant или raise_with_arg.