Searched refs:SPO_CHECK_ARITY (Results 1 – 1 of 1) sorted by relevance
521 SPO_CHECK_ARITY in declareSort() enumerator553 if (op == SPO_CHECK_ARITY) { in declareSort()574 todo.push(make_pair(SPO_CHECK_ARITY,nullptr)); in declareSort()