Avatar
RealNumber > SubField > Subring > AddativeSubgroup
2:49 PM
ここで、AddativeSubgroupはSuperの+を使えるので、それならコンパイラから見たら同じprotocol extensionじゃないかな?と思った次第
2:49 PM
実際はちゃんと静的な定義がありました