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.4.0.tbz

sha256=343a8b4759239ca0c107145b8e2cc94c14625fecc0b0887d3c40a9ab7537b8da

sha512=db22b0a5b3adc603c0e815c9011c779f892b9ace76be018b2198d3e24a7d96727c999701025fe5a5fd07d0b452cb7286fc50c939aba0e4dce809941e9ebc12a6

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`