package Ġcom . ro berto allen de . random user . ui . user _ list Ċ Ċ import Ġcom . ro berto allen de . random user . base . Base Event Ċ import Ġcom . ro berto allen de . random user . model . User Ċ Ċ sealed Ġclass ĠUser List Event Ġ: ĠBase Event Ġ{ ĊĠĠĠ Ġclass ĠGo To User Detail ( val Ġuser : ĠUser , Ġval Ġposition : ĠInt ) Ġ: ĠUser List Event () ĊĠĠĠ Ġclass ĠDisplay Error ( val Ġmessage : ĠString ) Ġ: ĠUser List Event () Ċ }