package Ġcom . p unto gr is . post ure . domain . model Ċ Ċ sealed Ġclass ĠLogin Result Ġ{ ĊĠĠĠ Ġobject ĠIn Progress Ġ: ĠLogin Result () ĊĠĠĠ Ġclass ĠSuccess ( val Ġuser PrivateData : ĠUser PrivateData ) Ġ: ĠLogin Result () ĊĠĠĠ Ġobject ĠError Ġ: ĠLogin Result () Ċ } ĊĊ