module type DISPOSABLE = sig .. end
The input signature of the functor Disposal.Make.
type
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.