module Effect:sig..end
Effects.
See 'Language extensions/Effect handlers' section in the manual.
type '_ t = ..
The type of effects.
exception Unhandled :'a t->exn
Unhandled e is raised when effect e is performed and there is no
handler for it.
exception Continuation_already_resumed
Exception raised when a continuation is continued or discontinued more than once.
val perform : 'a t -> 'aperform e performs an effect e.
Unhandled if there is no handler for e.module Deep:sig..end
module Shallow:sig..end