No matching definitions.

tur/select

stdlib/select.tur

multi-channel select: wait on multiple channel operations at once.

Since: Phase SEL1

Internal definitions
__select_op_recv-- internal constant: recv operation code (0).
__select_op_send-- internal constant: send operation code (1).
__select_clauses_alloc-- allocate a zeroed SelectClause array of length n.
__select_clauses_free-- free a SelectClause array allocated by __select_clauses_alloc.
__select_exec-- execute a select over n channel clauses; return the index of the clause that fired.