package picos_aux

You can search for identifiers within the package.

in-package search v0.2.0

Auxiliary libraries for Picos

Install

sha256=3f5a08199cf65c2dae2f7d68f3877178f1da8eabf5376e15114e5a8958087dfa

sha512=ad24910c47ce614268c4268874bb918da7f8b5f03b3ad706bbf30323635262e94ddab6be24eaebbca706bfa82c0a517d4272b396459e020c185942125c9bdb7b

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.