base.Extensible[S]

imm .self: imm S,
read .self: read S,
mut .self: mut S,
imm #[R$0](ext: mut base.Extension[imm S,R$0]): R$0 -> …,
read #[R$0](ext: mut base.Extension[read S,R$0]): R$0 -> …,
mut #[R$0](ext: mut base.Extension[mut S,R$0]): R$0 -> …,
imm .self: imm S,
read .self: read S,
mut .self: mut S,
imm #[R$0](ext: mut base.Extension[imm S,R$0]): R$0 -> …,
read #[R$0](ext: mut base.Extension[read S,R$0]): R$0 -> …,
mut #[R$0](ext: mut base.Extension[mut S,R$0]): R$0 -> …,