Alter sequence restart parameter type - Mailing list pgsql-docs

From PG Doc comments form
Subject Alter sequence restart parameter type
Date
Msg-id 161937772113.687.1837123373170179721@wrigleys.postgresql.org
Whole thread Raw
Responses Re: Alter sequence restart parameter type  ("David G. Johnston" <david.g.johnston@gmail.com>)
List pgsql-docs
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?

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: Make link to different section
Next
From: "David G. Johnston"
Date:
Subject: Re: Alter sequence restart parameter type