l4/pkg/ocaml/contrib/otherlibs/num/nat.h

   1 /***********************************************************************/
   2 /*                                                                     */
   3 /*                           Objective Caml                            */
   4 /*                                                                     */
   5 /*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         */
   6 /*                                                                     */
   7 /*  Copyright 1999 Institut National de Recherche en Informatique et   */
   8 /*  en Automatique.  All rights reserved.  This file is distributed    */
   9 /*  under the terms of the GNU Library General Public License, with    */
  10 /*  the special exception on linking described in file ../../LICENSE.  */
  11 /*                                                                     */
  12 /***********************************************************************/
  13
  14 /* $Id: nat.h 5880 2003-10-24 09:18:01Z xleroy $ */
  15
  16 /* Nats are represented as unstructured blocks with tag Custom_tag. */
  17
  18 #define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos])
  19