[m-users.] parse_token_list

[Volker Wysk]

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...

P.S.:

There are parse_tokens and parse_tokens_with_op_table instead.

Bye
Volker