Update declare.rst