이러한 유형 정의에서 '단위'는 무엇을 의미합니까?

Question

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

"unit"이 w_wait 및 w_waker에있는 이유를 모르겠습니까? 하여 w_wait (즉 유일한 부작용을 갖는) 협동 스레드 반환 부 정도로

Answer 1

는 Lwt's doc 따르면 유형 'a Lwt.t은의 ". '형태의 결과를 반환하는 스레드 형"이다. 마찬가지로 'a Lwt.u은 "유형의 스레드 wakeners"입니다.

Lwt 설명서에서 이해할 수없는 것을 이해하지 못합니다. 나에게 꽤 이해할 수있는 것 같다.