Lines Matching refs:chars
316 | chars of charset
336 | lexeme_equal (chars c1) (chars c2) = (charset_compare(c1,c2) = EQUAL)
395 | lexeme2string (chars s) = "<charset>"
586 let fun compl(chars cs,strm) = (chars(charset_diff charset_full cs),strm)
621 (chars (charset_of (mk_chars (elim_decimal_chars clist))),
625 | SOME(#"]",strm') => SOME(chars charset_empty, strm')
665 val [chars cset] = lexemes ss;
808 | SOME(chars cset,ss') => (Cset cset::stk,ss')