bracevac

(** * General support for creation of dynamic effects *)

(** We show how to use the multicore Ocaml effects to dynamically generate local
   effects. Such effects are akin to the Eff resources, and they can be used to
   implement ML references.

   The code is based on "Eff directly in OCaml" by Oleg Kiselyov and KC
   Sivaramakrishnan (http://kcsrk.info/papers/caml-eff17.pdf). It was written by
   Andrej Bauer, Oleg Kiselyov, and Stephen Dolan at the Dagstuhl seminar
   "Algebraic Effect Handlers go Mainstream". *)