[splint.git] / src / Headers / lclMisc.h

# ifndef LCLMISC_H
# define LCLMISC_H

typedef	unsigned int bits;
typedef long unsigned Handle;

extern char *FormatInt (int p_i) /*@*/ ;
extern bool firstWord (char *p_s, char *p_w);

# endif
Commit	Line	Data
885824d3	1	# ifndef LCLMISC_H
	2	# define LCLMISC_H
	3
	4	typedef unsigned int bits;
	5	typedef long unsigned Handle;
	6
	7	extern char FormatInt (int p_i) /@*/ ;
	8	extern bool firstWord (char p_s, char p_w);
	9
	10	# endif