package picos
Pico scheduler interface
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.4.0.tbz
sha256=343a8b4759239ca0c107145b8e2cc94c14625fecc0b0887d3c40a9ab7537b8da
sha512=db22b0a5b3adc603c0e815c9011c779f892b9ace76be018b2198d3e24a7d96727c999701025fe5a5fd07d0b452cb7286fc50c939aba0e4dce809941e9ebc12a6
doc/picos.rc/Picos_rc/Make/argument-1-Resource/index.html
Parameter Make.Resource
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)"
>