Lines Matching defs:terms
104 terms : Grammar.term list,
170 fn (VALS {say, sayln, termToString, hasType,termvoid,terms,
197 in app f terms
230 VALS {termToString, say,sayln,terms,saydot,hasType,
279 app f terms;
288 [] terms
303 say "val terms = ";
779 terms=numTerms,nonterms=numNonterms,
851 val terms = let fun f n = if n=numTerms then nil
862 nonterm=nonterm,terms=terms,