OCaml Синтаксис: что значит >> = означает?

Question

в этой части кода:

let rec write_from_exactly out s offs len = 
    Lwt_unix.write out s offs len >>= fun n -> 
     if n = len then Lwt.return() 
     else write_from_exactly out s (offs + n) (len - n) 
in ... 

Хотя я могу более или менее догадаться, что он делает, я не мог найти какой-либо официальное определение о том, что «>> =» означает и как это работает.

Answer 1

Символ >>= определяется Lwt, а не самим OCaml. Это инфиксный оператор, эквивалентный bind. Вы можете увидеть определение здесь: Lwt module.