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.
According to Lwt's doc the type
'a Lwt.tis the "type of threads returning a result of type 'a.", so yourw_waitis a cooperative thread returning unit (i.e. having only side effects). Likewise'a Lwt.uis the "type of thread wakeners".I don't understand what you don't understand in Lwt documentation. It seems quite understandable to me.