lwt

Promises and event-driven I/O
Library lwt.unix
Module Lwt_main . Exit_hooks
type 'return_value kind = 'return_value Lwt.t

Hooks are functions of either type unit -> unit or unit -> unit Lwt.t; this type constructor is used only to express both possibilities in one signature.

type hook

Values of type hook represent hooks that have been added, so that they can be removed later (if needed).

val add_first : ( unit -> unit kind ) -> hook

Adds a hook to the hook sequence underlying this module, to be run first, before any other hooks already added.

val add_last : ( unit -> unit kind ) -> hook

Adds a hook to the hook sequence underlying this module, to be run last, after any other hooks already added.

val remove : hook -> unit

Removes a hook added by add_first or add_last.

val remove_all : unit -> unit

Removes all hooks from the hook sequence underlying this module.