↰ base.ListView[E]

mut .get(i: imm base.Nat): E, // from base.List/1
read .get(i: imm base.Nat): read/imm E, // from base.List/1
imm .get(i: imm base.Nat): imm E, // from base.List/1
mut .addAll(other: mut base.List[E]): imm base.Void -> …, // from base.List/1
mut .tryGet(i: imm base.Nat): mut base.Opt[E], // from base.List/1
read .tryGet(i: imm base.Nat): mut base.Opt[read/imm E], // from base.List/1
imm .tryGet(i: imm base.Nat): mut base.Opt[imm E], // from base.List/1
mut .iter: mut base.iter.Iter[E] -> …, // from base.List/1
read .iter: mut base.iter.Iter[read/imm E] -> …, // from base.List/1
imm .iter: mut base.iter.Iter[imm E] -> …, // from base.List/1
mut .flow: mut base.flows.Flow[E] -> …, // from base.List/1
read .flow: mut base.flows.Flow[read/imm E] -> …, // from base.List/1
imm .flow: mut base.flows.Flow[imm E] -> …, // from base.List/1
read .isEmpty: imm base.Bool, // from base.Collection/0
read .tryExpose(list: mut base.List[E], i: imm base.Nat): mut base.Opt[E],
mut .clear: imm base.Void, // from base.List/1
read .inner: read base.List[E],
mut +(e: E): mut base.List[E] -> …, // from base.List/1
read .size: imm base.Nat, // from base.Collection/0
mut .add(e: E): imm base.Void, // from base.List/1
read .expose(list: mut base.List[E], i: imm base.Nat): E,
mut .get(i: imm base.Nat): E, // from base.List/1
read .get(i: imm base.Nat): read/imm E, // from base.List/1
imm .get(i: imm base.Nat): imm E, // from base.List/1
mut .addAll(other: mut base.List[E]): imm base.Void -> …, // from base.List/1
mut .tryGet(i: imm base.Nat): mut base.Opt[E], // from base.List/1
read .tryGet(i: imm base.Nat): mut base.Opt[read/imm E], // from base.List/1
imm .tryGet(i: imm base.Nat): mut base.Opt[imm E], // from base.List/1
mut .iter: mut base.iter.Iter[E] -> …, // from base.List/1
read .iter: mut base.iter.Iter[read/imm E] -> …, // from base.List/1
imm .iter: mut base.iter.Iter[imm E] -> …, // from base.List/1
mut .flow: mut base.flows.Flow[E] -> …, // from base.List/1
read .flow: mut base.flows.Flow[read/imm E] -> …, // from base.List/1
imm .flow: mut base.flows.Flow[imm E] -> …, // from base.List/1
read .isEmpty: imm base.Bool, // from base.Collection/0
read .tryExpose(list: mut base.List[E], i: imm base.Nat): mut base.Opt[E],
mut .clear: imm base.Void, // from base.List/1
read .inner: read base.List[E],
mut +(e: E): mut base.List[E] -> …, // from base.List/1
read .size: imm base.Nat, // from base.Collection/0
mut .add(e: E): imm base.Void, // from base.List/1
read .expose(list: mut base.List[E], i: imm base.Nat): E,