Home/ Questions/Q 6835049
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-26T23:11:10+00:00

type waiter = { w_wait : unit Lwt.t; w_waker: unit Lwt.u option; mutable w_did_wait

  • 0
type waiter =
    { w_wait : unit Lwt.t;
      w_waker: unit Lwt.u option;
      mutable w_did_wait : bool }

I don’t understand why there are “unit” in w_wait and w_waker?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    According to Lwt’s doc the type 'a Lwt.t is the “type of threads returning a result of type ‘a.“, so your w_wait is a cooperative thread returning unit (i.e. having only side effects). Likewise 'a Lwt.u is the “type of thread wakeners“.

    I don’t understand what you don’t understand in Lwt documentation. It seems quite understandable to me.

    • 0