Что означает «единица» в таком определении типа?

Question

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

Я не понимаю, почему в w_wait и w_waker?

есть "unit"

Answer 1

В соответствии с документом Lwt тип 'a Lwt.t является типом потоков ", возвращающих результат типа" a.", поэтому ваш w_wait является кооперативным потоком, возвращающим единица (то есть имеющие только побочные эффекты). Аналогично 'a Lwt.u - это тип нитевидных пробоотборников .

Я не понимаю, что вы не понимаете в документации Lwt. Это кажется мне вполне понятным.