package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler interface

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

V

Vesa Karvonen <vesa.a.j.k@gmail.com>

Maintainers

V

Vesa Karvonen <vesa.a.j.k@gmail.com>

Sources

picos-0.6.0.tbz

sha256=3f5a08199cf65c2dae2f7d68f3877178f1da8eabf5376e15114e5a8958087dfa

sha512=ad24910c47ce614268c4268874bb918da7f8b5f03b3ad706bbf30323635262e94ddab6be24eaebbca706bfa82c0a517d4272b396459e020c185942125c9bdb7b

doc/src/picos.domain/picos_domain.ml.html

Source file `picos_domain.ml`

1
2
3
4
5
6
7
8
9
let at_exit = Domain.at_exit
let recommended_domain_count = Domain.recommended_domain_count
let is_main_domain = Domain.is_main_domain

module DLS = struct
  include Domain.DLS

  let new_key init = new_key init
end

package picos

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/picos.domain/picos_domain.ml.html

Source file picos_domain.ml

Source file `picos_domain.ml`