interface ReadonlyIterable { readonly iterable; }