The examples in this directory use a deprecated approach to indexed effects. Instead look to the [examples on layered effects](https://github.com/FStarLang/FStar/tree/master/examples/layeredeffects) for examples on creating and using indexed effects. Note that the current state of the repo uses the terms layered effects and indexed effects interchangeably.

Document that indexed_effects examples are deprecated
Document that indexed_effects examples are deprecated

As per a comment by @aseemr on slack, the indexed_effects examples are deprecated. The layeredeffects examples should be used instead (indexed effects and layered effects are currently synonymous in the repo).