package Ġrepository ĊĊ Ċ import Ġjava . io . File Ċ Ċ interface ĠContainer Creator Ġ{ ĊĠ Ġsuspend Ġfun Ġcreate Container ( ĊĠĠĠ ĠuserId : ĠInt , ĊĠĠĠ Ġaccess ion Number : ĠString , ĊĠĠĠ Ġport : ĠInt , ĊĠĠĠ Ġresearch Dir : ĠFile , ĊĠĠĠ ĠonClose : Ġ() Ġ-> ĠUnit ĊĠ Ġ): ĠString ĊĊĠ Ġsuspend Ġfun Ġdelete Library ( container Id : ĠString ) Ċ } Ċ