auth.sentCodeTypeApp#3dbb5986 length:int = auth.SentCodeType;
t :: %TL.Auth.SentCodeTypeApp{length: integer}