[m-users.] parse_token_list

Volker Wysk post at volker-wysk.de
Sat Mar 14 18:08:02 AEDT 2020

Am Samstag, den 14.03.2020, 08:04 +0100 schrieb Volker Wysk:
> Hi
> In the library reference manual, in the part about the parser
> library,
> it is written: "The parse_token_list predicate is similar, but it
> takes
> a list of tokens rather than a string."
> But this is the only place where "parse_token_list" is mentioned, in
> the library reference manual...


There are parse_tokens and parse_tokens_with_op_table instead.


More information about the users mailing list