home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / alias5.lh < prev    next >
Text File  |  2002-02-17  |  307b  |  11 lines
  1. /* Output from Splint 3.0.1.6 */
  2. # include "bool.h"
  3.  
  4.  
  5. extern void incx1 (pair  /* p */);
  6. extern void incx2 (pair  /* p */);
  7. extern void incx3 (pair  /* p */);
  8. extern void incx4 (pair  /* p */);
  9. extern /*@only@*/ pair pair_create (void);
  10. extern void pair_free (/*@only@*/ /*@out@*/ pair  /* p */);
  11.