auth.checkedPhone#811ea28e phone_registered:Bool = auth.CheckedPhone;
t :: %TL.Auth.CheckedPhone{phone_registered: TL.tl_bool}