package picos_mux
Sample schedulers for Picos
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.5.0.tbz
sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be
sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0
doc/src/picos_mux.thread/select.ml.html
Source file select.ml
1 2 3# 1 "lib/picos_mux.thread/select.some.ml" let cancel_after = Picos_io_select.cancel_after let check_configured = Picos_io_select.check_configured