Miou_state.Operation
type 'a t
val interrupt : _ t
val continue : 'a Stdlib.Effect.t -> 'a t
val return : 'a -> 'a t
val fail : backtrace:Stdlib.Printexc.raw_backtrace -> exn -> _ t
val perform : 'a Stdlib.Effect.t -> 'a t
val yield : unit t