package Ġcom . examples . ab bas dgr 8 . controller . state Ċ Ċ sealed Ġclass ĠUser Event Ġ{ ĊĊĠĠĠ Ġobject ĠPro ceed : ĠUser Event () ĊĠĠĠ Ġobject ĠError : ĠUser Event () ĊĊĠĠĠ Ġobject ĠOption One : ĠUser Event () ĊĠĠĠ Ġobject ĠOption Two : ĠUser Event () ĊĠĠĠ Ġobject ĠOption Three : ĠUser Event () ĊĠĠĠ Ġobject ĠOption Four : ĠUser Event () ĊĊĠĠĠ Ġobject ĠInput Search Field : ĠUser Event () ĊĠĠĠ Ġobject ĠInput Search Value : ĠUser Event () Ċ } Ċ Ċ sealed Ġclass ĠCli Side Effect Ġ{ ĊĠĠĠ Ġobject ĠLog Action : ĠCli Side Effect () Ċ }