Модуль 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.