Alter sequence restart parameter type

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/sql-altersequence.html
Description:

Hi!
I have some question about alter sequence. I can see in your documentation
https://www.postgresql.org/docs/12/sql-altersequence.html Synopsis:
ALTER SEQUENCE [ IF EXISTS ] name
[ AS data_type ]
[ INCREMENT [ BY ] increment ]
[ MINVALUE minvalue | NO MINVALUE ] [ MAXVALUE maxvalue | NO MAXVALUE
]
[ START [ WITH ] start ]
[ RESTART [ [ WITH ] restart ] ]
[ CACHE cache ] [ [ NO ] CYCLE ]
[ OWNED BY { table_name.column_name | NONE } ]

I use postgresql 12.6. I want to restart my sequence something like that:
alter sequence quiz_seq restart with ((select max(id) from quiz)+1);
but I can't do it. Please, clarify. Can I use only plain numbers like
that?
alter sequence quiz_seq restart with 42;

Is it possible to clarify the type of the parameter RESTART in the
documentation?