Click here to view and discuss this page in DocCommentXchange. In the future, you will be sent there automatically.
SET OPTION 文に指定したオプションは PUBLIC だけです。このオプションを他のユーザに定義することはできません。