This is a good point about why OCaml’s stdlib is the right place for a Dynarray. When this topic occurred earlier, Adding Dynamic Arrays / Vectors to StdLib, @gasche commented on the preliminary steps to be taken near the end of that thread; the first steps being to enumerate the prior art and compare them. I looked for such a survey and didn’t find any. Is there such a thing? If not, where should it, reside? Perhaps in the underused RFC dir RFCs/rfcs at master · ocaml/RFCs · GitHub?