Interface ResolvedPatternDeclaration