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.t
is the "type of threads returning a result of type 'a.", so yourw_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.