package picos_mux
Sample schedulers for Picos
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.6.0.tbz
sha256=3f5a08199cf65c2dae2f7d68f3877178f1da8eabf5376e15114e5a8958087dfa
sha512=ad24910c47ce614268c4268874bb918da7f8b5f03b3ad706bbf30323635262e94ddab6be24eaebbca706bfa82c0a517d4272b396459e020c185942125c9bdb7b
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