resolved declarations