/*@constant null annotationInfo annotationInfo_undefined; @*/
# define annotationInfo_undefined ((annotationInfo) NULL)
/*@constant null annotationInfo annotationInfo_undefined; @*/
# define annotationInfo_undefined ((annotationInfo) NULL)
# define annotationInfo_isUndefined(p_info) ((p_info) == annotationInfo_undefined)
extern bool annotationInfo_equal (annotationInfo, annotationInfo) /*@*/ ;
# define annotationInfo_isUndefined(p_info) ((p_info) == annotationInfo_undefined)
extern bool annotationInfo_equal (annotationInfo, annotationInfo) /*@*/ ;
/*@only@*/ mtContextNode p_context,
int p_value, /*@only@*/ fileloc p_loc) /*@*/ ;
/*@only@*/ mtContextNode p_context,
int p_value, /*@only@*/ fileloc p_loc) /*@*/ ;
-extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_ainfo);
-extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_ainfo) /*@*/ ;
+extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_a);
+extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_a) /*@*/ ;