module DynamicArray: sig .. end
sig
end
It uses imperative styles to ensure compatibility with other modules
module DynArray: functor (G : GenArray.GenArray) -> sig .. end
functor (
G
:
GenArray.GenArray
) ->