For each declaration (⟨decl⟩), its syntax and the corresponding interface specification are defined, and describes their static and dynamic values.