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 }