      \fitem{reduce}(f:function, t:tab): if \code{t} is empty, an
      undefined value is returned. If \code{t} has only one element, this
      element is returned. In the other case, the binary operation
      \code{f} is used to combine all the elements in \code{t} into a
      single value \code{f(... f(f(t[0], t[1]), t[2]), ... t[n])}. 
      %% 
      For example, if \code{v} is a vector of booleans, %
      \code{@reduce(@||, v)} returns the logical disjunction of the
      \code{t}'s elements. 



      %%% -------------------------------------------------------

