package Ġke k . en xy . plant writer . presentation . main . model Ċ Ċ import Ġke k . en xy . data . read write . model . Dump Ċ Ċ sealed Ġclass ĠDump State Ġ{ ĊĠĠĠ Ġobject ĠInitial Ġ: ĠDump State () ĊĠĠĠ Ġobject ĠLoading Ġ: ĠDump State () ĊĠĠĠ Ġdata Ġclass ĠContent ( val Ġdump : ĠDump ) Ġ: ĠDump State () ĊĠĠĠ Ġdata Ġclass ĠError ( val Ġexception : ĠThrowable ) Ġ: ĠDump State () Ċ } Ċ