package picos

  1. Overview
  2. Docs
Pico scheduler framework

Install

Dune Dependency

Authors

Maintainers

Sources

picos-0.1.0.tbz
sha256=0f2dcc67ddd127c68f388f2c36a8725a15723e6aeba7d1ddfcf4e016b54a4674
sha512=bee2a99458a451be285e2f13cc3a9deda8eed4e118bcdfc51c256d2da5bae92eec3386c318fe42dcf451421543b519dc064967158b3f417c9b7b44ce97c5fb75

doc/picos.rc/Picos_rc/Make/argument-1-Resource/index.html

Parameter Make.Resource

A resource that must be explicitly disposed.

type t

Represents a disposable resource.

val equal : t -> t -> bool

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

val hash : t -> int

hash resource computes the hash value for resource.

val dispose : t -> unit

dispose resource releases the resource.

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

OCaml

Innovation. Community. Security.