package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler interface

Install

sha256=343a8b4759239ca0c107145b8e2cc94c14625fecc0b0887d3c40a9ab7537b8da

sha512=db22b0a5b3adc603c0e815c9011c779f892b9ace76be018b2198d3e24a7d96727c999701025fe5a5fd07d0b452cb7286fc50c939aba0e4dce809941e9ebc12a6

Resource type.

A resource that must be explicitly disposed.

Sourcetype t = Unix.file_descr

Represents a disposable resource.

Sourceval equal : t -> t -> bool

equal resource1 resource2 determines whether resource1 and resource2 are one and the same.

Sourceval hash : t -> int

hash resource computes the hash value for resource.

Sourceval dispose : t -> unit

dispose resource releases the resource.

⚠️ The physical resource value may be reused only after dispose has been called on it.