Searched refs:ReadTerm (Results 1 – 1 of 1) sorted by relevance
755 string s = ReadTerm(d); in T0Comp()1377 string ReadTerm(int ct) in ReadTerm() method in T0Comp