Module Disposal

module Disposal: sig .. end

Registries for semi-automatic object disposal. Disposal.Make(D) creates a registry for disposal of objects of type D.t.

Disposal ensures that for any managed object, a disposer is called only once, whether manually or automatically, except for the default disposer D.default, which must be safe to call multiple times on any already-disposed object.

module type DISPOSABLE = sig .. end

The input signature of the functor Disposal.Make.

module type DISPOSAL = sig .. end

The output signature of the functor Disposal.Make.

module Make: functor (D : DISPOSABLE) -> DISPOSAL  with type data = D.t

Build a new disposal registry.