Module Picos_rc

External reference counting tables for disposable resources.

module type Resource = sig ... end

A resource that must be explicitly disposed.

module type S = sig ... end

An externally reference counted resource.

module Make (Resource : Resource) () : S with module Resource = Resource

Creates a new external reference counting table for a resource type.