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.