package Ġcom . concrete . des af io . service Ċ Ċ import Ġcom . concrete . des af io . model . User Ċ import Ġjava . util .* Ċ Ċ interface ĠUserService Ġ{ ĊĊĠĠĠ Ġfun Ġcreate User ( user : ĠUser ): ĠUser ? ĊĊĠĠĠ Ġfun Ġread User ( id : ĠLong ): ĠOptional < User > ĊĊĠĠĠ Ġfun ĠfindBy Email ( email : ĠString ): ĠUser ? Ċ }