Module type Disposal.DISPOSABLE

module type DISPOSABLE = sig .. end
The input signature of the functor Disposal.Make.

type t 
The type to dispose
val equal : t -> t -> bool
Identity predicate to associate objects with disposal actions.
val hash : t -> int
Hash function for managed objects.
val default : t -> unit
The default disposal action. Must be safe to call multiple times on the same object.