
Функціональний блок USER_MAIL змінює електронну адресу користувача.
При позитивному фронті на вході встановлюється електронна адреса користувача або, якщо вона порожня, видаляється.
Вхід визначає ідентифікатор користувача. Цей вхід може містити лише рядок символів. Змінні або інші типи даних заборонені з міркувань безпеки та, якщо вони все ж встановлені, ігноруються.
Вхід визначає електронну адресу. Вона повинна бути або дійсною, або порожньою.
На виході при завершенні операції видається імпульс.