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?