DeletedUser typedef Null safety

DeletedUser = $Empty

A user whose account has since been deleted.

Implementation

typedef DeletedUser = $Empty;