Module Kappa_data_structures.DynamicArray