(module Js_array)