Alexey Borzov <borz_off@rdw.ru> writes:
> The development docs state that one can use SET SEED to seed the
> random number generator
Where? I see no such claim. If there's something that leads you
to think that SET SEED and not setseed() is correct, then the docs
need to be fixed.
regards, tom lane