Searched refs:normalize_concept_check (Results 1 – 4 of 4) sorted by relevance
672 normalize_concept_check (tree check, tree args, norm_info info) in normalize_concept_check() function724 return normalize_concept_check (t, args, info); in normalize_atom()
702 normalize_concept_check (tree check, tree args, norm_info info) in normalize_concept_check() function758 return normalize_concept_check (t, args, info); in normalize_atom()
1593 * constraint.cc (normalize_concept_check): Don't call
1851 (normalize_concept_check): Merged all normalize_*_check here.