実装型
このページ独自の造語
インターフェースI1に対してI1実装型とは、I1の要件を満たした型のことを指す