package picos
Pico scheduler framework
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.1.0.tbz
sha256=0f2dcc67ddd127c68f388f2c36a8725a15723e6aeba7d1ddfcf4e016b54a4674
sha512=bee2a99458a451be285e2f13cc3a9deda8eed4e118bcdfc51c256d2da5bae92eec3386c318fe42dcf451421543b519dc064967158b3f417c9b7b44ce97c5fb75
doc/picos.rc/Picos_rc/module-type-Resource/index.html
Module type Picos_rc.Resource
Source
A resource that must be explicitly disposed.
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>