# define qualList_isEmpty(s) (qualList_size(s) == 0)
extern qualList qualList_new (void) /*@*/ ;
+
+extern qualList qualList_single (qual p_el) /*@*/ ;
+
extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el)
/*@modifies p_s@*/;
extern void qualList_free (/*@only@*/ qualList p_s) ;
extern qualList qualList_appendList (/*@returned@*/ qualList p_s, qualList p_t);
-# ifndef NOLCL
extern qualList qualList_copy (qualList p_s);
extern /*@only@*/ cstring qualList_toCComments (qualList p_s);
-# endif
extern void qualList_clear (qualList p_q);