Searched refs:letCount (Results 1 – 2 of 2) sorted by relevance
1027 ProofLetCount letCount(newId); in bind() local1028 map[term] = letCount; in bind()
3150 int letCount = 0; in print() local3168 ++letCount; in print()3179 for (int j = 0; j < letCount; ++j) in print()