p0: {} = {}

Type declaration