module Effect:sig..end
效果 (Effects)。
請參閱手冊中的「語言擴展/效果處理器」章節。
type _ t = ..
效果的類型。
exception Unhandled :'a t->exn
Unhandled e 在執行效果 e 且沒有處理器時引發。
exception Continuation_already_resumed
當一個延續 (continuation) 被繼續或終止多次時引發的例外。
val perform : 'a t -> 'aperform e 執行一個效果 e。
e 的處理器，則引發 Unhandled。module Deep:sig..end
module Shallow:sig..end