module Effect: sig .. end
sig
end
Effects.
type '_ t = ..
'_
The type of effects.
val perform : 'a t -> 'a
'a t -> 'a
perform e performs an effect e.
perform e
e
Unhandled
module Deep: sig .. end
module Shallow: sig .. end