text: /***********************************************************************/
  /*                                                                     */
  /*                         Applied Type System                         */
  /*                                                                     */
  /***********************************************************************/
  
  /* (*
  ** ATS/Postiats - Unleashing the Potential of Types!
  ** Copyright (C) 2010-2013 Hongwei Xi, ATS Trustful Software, Inc.
  ** All rights reserved
  **
  ** ATS is free software;  you can  redistribute it and/or modify it under
  ** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
  ** Free Software Foundation; either version 3, or (at  your  option)  any
  ** later version.
  **
  ** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
  ** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
  ** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
  ** for more details.
  **
  ** You  should  have  received  a  copy of the GNU General Public License
  ** along  with  ATS;  see the  file COPYING.  If not, please write to the
  ** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
  ** 02110-1301, USA.
  *) */
  
  /* ****** ****** */
  
  /*
  ** Source:
  ** $PATSHOME/prelude/CATS/CODEGEN/arrayref.atxt
  ** Time of generation: Fri Feb 28 17:55:38 2014
  */
  
  /* ****** ****** */
  
  /*
  (* Author: Hongwei Xi *)
  (* Authoremail: hwxi AT cs DOT bu DOT edu *)
  (* Start time: January, 2013 *)
  */
  
  /* ****** ****** */
  
  #ifndef ATSLIB_PRELUDE_ARRAYREF_CATS
  #define ATSLIB_PRELUDE_ARRAYREF_CATS
  
  /* ****** ****** */
  
  ATSinline()
  atstype_arrptr
  atspre_arrayref_make_arrpsz
    (atstype_arrpsz psz) { return (psz).ptr ; }
  // end of [atspre_arrayref_make_arrpsz]
  
  /* ****** ****** */
  
  #endif // ifndef ATSLIB_PRELUDE_ARRAYREF_CATS
  
  /* ****** ****** */
  
  /* end of [arrayref.cats] */
  