base.List

imm #[E$0](e1: E$0, e2: E$0): mut base.List[E$0] -> …,
imm .withCapacity[E$0](capacity: imm base.Nat): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0, e2: E$0, e3: E$0): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0, e2: E$0, e3: E$0, e4: E$0): mut base.List[E$0] -> …,
imm #[E$0]: mut base.List[E$0] -> …,
imm .fromLList[E$0](list: mut base.LList[E$0]): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0, e2: E$0): mut base.List[E$0] -> …,
imm .withCapacity[E$0](capacity: imm base.Nat): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0, e2: E$0, e3: E$0): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0, e2: E$0, e3: E$0, e4: E$0): mut base.List[E$0] -> …,
imm #[E$0]: mut base.List[E$0] -> …,
imm .fromLList[E$0](list: mut base.LList[E$0]): mut base.List[E$0] -> …,
imm #[E$0](e1: E$0): mut base.List[E$0] -> …,