package Ġcom . rich ode mus . reader . backend . user Ċ Ċ import Ġcom . rich ode mus . reader . dto . UserId Ċ import Ġcom . rich ode mus . reader . dto . Username Ċ Ċ interface ĠUser Repository Ġ{ ĊĠĠĠ Ġfun Ġget UserId ( username : ĠUsername ): ĠUserId Ċ } Ċ