Searched refs:ctbase_isKind2 (Results 1 – 1 of 1) sorted by relevance
205 static bool ctbase_isKind2 (/*@notnull@*/ ctbase p_c, ctuid p_kind1, ctuid p_kind2) /*@*/ ;2549 ctbase_isKind2 (/*@notnull@*/ ctbase c, ctuid kind1, ctuid kind2) in ctbase_isKind2() function2557 return (ctbase_isKind2 (ctype_getCtbaseSafe (c->contents.conj->a), kind1, kind2) || in ctbase_isKind2()2558 ctbase_isKind2 (ctype_getCtbaseSafe (c->contents.conj->b), kind1, kind2)); in ctbase_isKind2()