Модуль Effect

module Effect: sig .. end

Предупреждение: нестабильно. Интерфейс Effect может изменяться несовместимым образом в будущем.

Эффекты.

См. раздел 'Расширения языка/Обработчики эффектов' в руководстве.

type _ t = ..

Тип эффектов.

exception Unhandled : 'a t -> exn

Unhandled e генерируется, когда эффект e выполняется, и для него нет обработчика.

exception Continuation_already_resumed

Исключение, генерируемое, когда продолжение возобновляется или прерывается более одного раза.

val perform : 'a t -> 'a

perform e выполняет эффект e.

module Deep: sig .. end

module Shallow: sig .. end