package Ġedu . t uk . s atell ites ar ere al . repositories Ċ Ċ import Ġjava . io . InputStream Ċ Ċ interface ĠT le Files Repository Ġ{ ĊĊĠĠĠ Ġfun Ġlist Files (): ĠList < String > ĊĊĠĠĠ Ġfun Ġdelete File ( fileName : ĠString ) ĊĊĠĠĠ Ġsuspend Ġfun Ġdownload T le File ( file Url : ĠString ) ĊĊĠĠĠ Ġfun Ġopen File ( fileName : ĠString ): ĠInputStream Ċ }