Searched defs:clauseNo (Results 1 – 2 of 2) sorted by relevance
249 clauseNo(Clause cl, gen_t gen) in clauseNo() function
253 (f, clauseNo, clTy, clWithSub, absCl@A.Clause{ clauseRHS = rhs }, clClos) <- case ipCl of function