Searched refs:ctbase_unparseNotypes (Results 1 – 1 of 1) sorted by relevance
303 static /*@only@*/ cstring ctbase_unparseNotypes (ctbase p_c) /*@*/ ;702 ctbase_unparseNotypes (ctbase c) in ctbase_unparseNotypes() function730 return (message ("<expf: %q >", ctbase_unparseNotypes (ctype_getCtbase (c->contents.base)))); in ctbase_unparseNotypes()732 return (message ("%q *", ctbase_unparseNotypes (ctype_getCtbase (c->contents.base)))); in ctbase_unparseNotypes()734 return (message ("%q []", ctbase_unparseNotypes (ctype_getCtbase (c->contents.base)))); in ctbase_unparseNotypes()737 ctbase_unparseNotypes (ctype_getCtbase (c->contents.fcn->rval)))); in ctbase_unparseNotypes()752 ctbase_unparseNotypes (ctype_getCtbase (c->contents.conj->a)), in ctbase_unparseNotypes()753 ctbase_unparseNotypes (ctype_getCtbase (c->contents.conj->b)))); in ctbase_unparseNotypes()