// ĠALLOW _ AST _ ACCESS Ċ Ċ package Ġtest Ċ Ċ target ( Annotation Target . TYPE ) Ċ annotation Ġclass ĠAnn ( val Ġx : ĠString , Ġval Ġy : ĠDouble ) Ċ Ċ class ĠType Annotation With Arguments Ġ{ ĊĠĠĠ Ġfun Ġfoo ( param : Ġ@ Ann (" param ", Ġ 3 . 1 4 ) ĠInt Range ): Ġ@ Ann (" fun ", Ġ 2 . 7 2 ) ĠUnit Ġ{} Ċ } Ċ