-- Functional arrays with constant-time update.
--
-----------------------------------------------------------------------------
-- Functional arrays with constant-time update.
--
-----------------------------------------------------------------------------