package Ġio . pl ast ique . watch Ċ Ċ import Ġio . pl ast ique . core . navigation . Navigator Ċ import Ġio . pl ast ique . users . User Ċ Ċ interface ĠWatch Navigator Ġ: ĠNavigator Ġ{ ĊĠĠĠ Ġfun Ġopen SignIn () ĊĊĠĠĠ Ġfun Ġopen UserProfile ( user : ĠUser ) Ċ } Ċ