// ĠFILE : ĠA . java Ċ public Ġ@ interface ĠA Ġ{ ĊĠĠĠ ĠClass <?> Ġvalue () Ġdefault ĠInteger . class ; ĊĠĠĠ Ġint Ġx (); Ċ } Ċ Ċ // ĠFILE : Ġb . kt Ċ A ( String :: class , Ġx Ġ= Ġ 2 ) Ġclass ĠMy Class 1 Ċ A ( value Ġ= ĠString :: class , Ġx Ġ= Ġ 4 ) Ġclass ĠMy Class 2 Ċ A ( x Ġ= Ġ 5 ) Ġclass ĠMy Class 3 Ċ