Searched refs:int_op_kind (Results 1 – 1 of 1) sorted by relevance
2452 const CVC4::Kind int_op_kind = opTerm.d_expr->getKind(); in checkMkOpTerm() local2465 int_op_kind == CVC4::kind::BUILTIN in checkMkOpTerm()