Code

Stream select#578

Code

Open

dermesser wants to merge 3 commits intoocaml-multicore:mainocaml-multicore/eio:mainfrom dermesser:stream-selectdermesser/eio:stream-selectCopy head branch name to clipboard

+29

Commits

Commits on Jul 9, 2023

• First Stream.select implementation

  dermesser

  committed
  c9d42de

• Add warning and test for Stream.select

  dermesser

  committed
  7ff83d1

• Tighten Stream.select implementation

  dermesser

  committed
  09acb4a