package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler framework

Install

sha256=544804c0bde4b29764f82f04e7defed7c06bc43e5a6ce3f7fdc326cb54a7f066

sha512=4c93427e477fb52374a554a8b9c4c92836a9b5899161275d1473269ab526a1f59177209140631ed763a55be375855dea12f076e18bf4124522414986c0e257be

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.