package Ġname . deny ago . streaming . source . db Ċ Ċ interface ĠRead able Ġ{ ĊĠĠĠ Ġfun Ġselect Users ( ids : ĠInt Range ): ĠIterator < User > Ċ } Ċ Ċ interface ĠUser Ġ{ ĊĠĠĠ Ġval Ġid : ĠInt ĊĠĠĠ Ġval Ġname : ĠString Ċ } Ċ