package picos_aux

You can search for identifiers within the package.

in-package search v0.2.0

Auxiliary libraries for Picos

Install

sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be

sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

External reference counting tables for disposable resources.

Sourcemodule type Resource = sig ... end

A resource that must be explicitly disposed.

Sourcemodule type S = sig ... end

An externally reference counted resource.

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

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