@class NSString; @interface HealthExposureNotificationUI.NumberedTextView : UIView { void /* unknown type, empty encoding */ title; void /* unknown type, empty encoding */ details; } @property (nonatomic, readonly) void /* unknown type, empty encoding */ number; @property (nonatomic, readonly) NSString *title; @property (nonatomic, readonly) NSString *details; - (id)initWithFrame:(struct CGRect { struct CGPoint { double x0; double x1; } x0; struct CGSize { double x0; double x1; } x1; })a0; - (void).cxx_destruct; - (id)initWithCoder:(id)a0; @end