State.Op
type 'a t
val interrupt : _ t
val continue : 'a Stdlib.Effect.t -> 'a t
val return : 'a -> 'a t
val fail : exn -> _ t
val perform : 'a Stdlib.Effect.t -> 'a t
val yield : unit t