Interface ResolvedTypePatternDeclaration