export type PushType = 'teacher' | 'student'; export interface Push { type: PushType; }