Lines Matching refs:token
64 parentheses; then the parser would find a ")" token once it has
125 ("_", SmtLib_Theories.zero_zero (fn token =>
126 if String.isPrefix "bv" token then
128 val args = String.extract (token, 2, NONE)
143 ("_", SmtLib_Theories.zero_one (fn token =>
144 if String.isPrefix "extract[" token then
146 val args = String.extract (token, 8, NONE)
162 ("_", SmtLib_Theories.one_one (fn token => fn n =>
163 if String.isPrefix "extract" token then
165 val m = Library.parse_arbnum (String.extract (token, 7, NONE))
191 ("_", SmtLib_Theories.zero_two (fn token =>
192 if String.isPrefix "array_ext" token then
198 ("_", SmtLib_Theories.zero_one (fn token =>
199 if String.isPrefix "repeat" token then
201 val n = Library.parse_arbnum (String.extract (token, 6, NONE))
209 ("_", SmtLib_Theories.zero_one (fn token =>
210 if String.isPrefix "zero_extend" token then
212 val n = Library.parse_arbnum (String.extract (token, 11, NONE))
220 ("_", SmtLib_Theories.zero_one (fn token =>
221 if String.isPrefix "sign_extend" token then
223 val n = Library.parse_arbnum (String.extract (token, 11, NONE))
231 ("_", SmtLib_Theories.zero_one (fn token =>
232 if String.isPrefix "rotate_left" token then
234 val n = Library.parse_arbnum (String.extract (token, 11, NONE))
396 WARNING "parse_stream" ("ignoring token '" ^ get_token () ^