package picos

  1. Overview
  2. Docs
package picos
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file select.ml

1
2
3
# 1 "lib/picos_fifos/select.some.ml"
let cancel_after = Picos_select.cancel_after
let check_configured = Picos_select.check_configured