package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler framework

Install

sha256=0f2dcc67ddd127c68f388f2c36a8725a15723e6aeba7d1ddfcf4e016b54a4674

sha512=bee2a99458a451be285e2f13cc3a9deda8eed4e118bcdfc51c256d2da5bae92eec3386c318fe42dcf451421543b519dc064967158b3f417c9b7b44ce97c5fb75

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.