/*@constant null mtDefaultsDeclList mtDefaultsDeclList_undefined;@*/
# define mtDefaultsDeclList_undefined ((mtDefaultsDeclList) NULL)
/*@constant null mtDefaultsDeclList mtDefaultsDeclList_undefined;@*/
# define mtDefaultsDeclList_undefined ((mtDefaultsDeclList) NULL)
# define mtDefaultsDeclList_isDefined(s) ((s) != mtDefaultsDeclList_undefined)
extern int mtDefaultsDeclList_size (/*@sef@*/ mtDefaultsDeclList) /*@*/ ;
# define mtDefaultsDeclList_size(s) (mtDefaultsDeclList_isDefined (s) ? (s)->nelements : 0)
# define mtDefaultsDeclList_isDefined(s) ((s) != mtDefaultsDeclList_undefined)
extern int mtDefaultsDeclList_size (/*@sef@*/ mtDefaultsDeclList) /*@*/ ;
# define mtDefaultsDeclList_size(s) (mtDefaultsDeclList_isDefined (s) ? (s)->nelements : 0)
# define mtDefaultsDeclList_empty(s) (mtDefaultsDeclList_size(s) == 0)
extern cstring mtDefaultsDeclList_unparseSep (mtDefaultsDeclList p_s, cstring p_sep) /*@*/ ;
# define mtDefaultsDeclList_empty(s) (mtDefaultsDeclList_size(s) == 0)
extern cstring mtDefaultsDeclList_unparseSep (mtDefaultsDeclList p_s, cstring p_sep) /*@*/ ;