src/Headers/usymId.h

   1 # ifndef USYMID_H
   2 # define USYMID_H
   3
   4 typedef int usymId;
   5 typedef usymId typeId;
   6
   7 extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ;
   8 # define usymId_equal(u1,u2) ((u1) == (u2))
   9
  10 /*@constant usymId USYMIDINVALID;@*/
  11 # define USYMIDINVALID -17
  12
  13 /*@constant typeId typeId_invalid;@*/
  14 # define typeId_invalid USYMIDINVALID
  15
  16 # else
  17 # error "Multiple include"
  18 # endif