base.ListViews

imm .subList[E$0](list: read base.List[E$0], from: imm base.Nat, to: imm base.Nat): read base.ListView[E$0] -> …,
imm .indexMap[E$0](list: read base.List[E$0], mappings: imm base.List[imm base.Nat]): read base.ListView[E$0] -> …,
imm .subList[E$0](list: read base.List[E$0], from: imm base.Nat, to: imm base.Nat): read base.ListView[E$0] -> …,
imm .indexMap[E$0](list: read base.List[E$0], mappings: imm base.List[imm base.Nat]): read base.ListView[E$0] -> …,