Wouldn’t it be good to have Dynarray.equal and Dynarray.compare functions? It is appreciable to have non-polymorphic comparison functions for standard types, and in addition neither (=) nor (==) express equality of the elements.