extern /*@nullwhentrue@*/ bool qtype_isUndefined (qtype p_q);
# define qtype_isUndefined(q) ((q) == qtype_undefined)
-extern /*@falsewhennull@*/ bool qtype_isDefined (qtype p_q);
+extern /*@falsewhennull@*/ bool qtype_isDefined (qtype p_q) /*@*/;
# define qtype_isDefined(q) ((q) != qtype_undefined)
extern ctype qtype_getType (/*@sef@*/ qtype p_q);
extern qtype qtype_mergeAlt (/*@returned@*/ qtype p_q1, /*@only@*/ qtype p_q2);
extern qtype qtype_resolve (/*@returned@*/ qtype p_q);
-extern void qtype_adjustPointers (/*@only@*/ pointers p_n, /*@returned@*/ qtype p_q);
+extern void qtype_adjustPointers (int p_n, /*@returned@*/ qtype p_q);
extern /*@only@*/ cstring qtype_unparse (qtype p_q) /*@*/ ;
extern qtype qtype_newBase (/*@returned@*/ qtype p_q, ctype p_ct);
extern qtype qtype_newQbase (/*@returned@*/ qtype p_q1, qtype p_q2);
extern void qtype_free (/*@only@*/ qtype p_q);
+extern cstring qtype_unparseArraySize (qtype p_q);
+extern cstring qtype_unparseArrayType (qtype p_q);
+
+extern bool qtype_isFixedArray (qtype p_q) /*@*/;
+
+extern bool qtype_isArray (qtype p_q) /*@*/;
+
# else
# error "Multiple include"
# endif