package Ġlive Ċ Ċ expect Ġclass ĠLive < S >( state : ĠS ) Ġ{ ĊĠĠĠ Ġvar Ġvalue : ĠS ĊĠĠĠ Ġfun Ġwatch ( callable : Ġ( state : ĠS ) Ġ-> ĠUnit ): ĠWatch er < S > ĊĠĠĠ Ġfun Ġstop ( watcher : ĠWatch er < S >): ĠBoolean ĊĠĠĠ Ġfun Ġstop All () Ċ }