package Ġcom . k od atos . shared . domain . dest inations Ċ Ċ sealed Ġinterface ĠNavigation Argument Ġ{ ĊĠĠĠ Ġoverride Ġfun ĠtoString (): ĠString Ċ } Ċ Ċ class ĠString Argument ( val Ġvalue : ĠString ): ĠNavigation Argument Ġ{ ĊĠĠĠ Ġoverride Ġfun ĠtoString () Ġ= Ġvalue Ċ } Ċ Ċ object ĠNo Argument : ĠNavigation Argument Ġ{ ĊĠĠĠ Ġoverride Ġfun ĠtoString () Ġ= Ġ" no Ġarguments " Ċ Ċ }