module Effect: Effect效果。
请参阅手册中的“语言扩展/效果处理器”部分。
type _ t = ..
效果的类型。
exception Unhandled :'a t->exn
Unhandled e 当执行效果 e 且没有相应的处理器时引发。
exception Continuation_already_resumed
当延续被继续或中断超过一次时引发的异常。
val perform : 'a t -> 'aperform e 执行效果 e。
Unhandled 如果没有 e 的处理器。module Deep:sig..end
module Shallow:sig..end