Модуль Option.Syntax

module Syntax: sig .. end

Операторы связывания. Подробнее см. раздел 12.23 руководства.

val ( let* ) : 'a option -> ('a -> 'b option) -> 'b option

( let* ) — это Option.bind.

val ( and* ) : 'a option -> 'b option -> ('a * 'b) option

( and* ) — это Option.product.

val let+ : 'a option -> ('a -> 'b) -> 'b option

( let+ ) — это Option.map.

val and+ : 'a option -> 'b option -> ('a * 'b) option

( and+ ) — это Option.product.