Declarations at the top level of a Silver file.