Модуль 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