From 9613d2d91baff8d07ca6d55864a51a2eacf604bf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Mon, 29 Nov 2021 11:21:04 +0100 Subject: [PATCH] Mention `Lwt_seq` in the doc's menu --- docs/apiref-intro | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/apiref-intro b/docs/apiref-intro index 7c819c937..bd7140c5a 100644 --- a/docs/apiref-intro +++ b/docs/apiref-intro @@ -18,6 +18,7 @@ Lwt_pool Lwt_stream Lwt_switch Lwt_sequence +Lwt_seq Lwt_pqueue }