package Ġimplicit . annotation . validation Ċ Ċ import Ġimplicit . annotation . Implicit Ċ import Ġimplicit . annotation . Implicit . Type . VALID ATOR Ċ import Ġkotlin . annotation . Annotation Retention . RUNTIME Ċ import Ġkotlin . annotation . Annotation Target . VALUE _ PARAMETER Ċ Ċ @ Retention ( RUNTIME ) Ċ @ Target ( VALUE _ PARAMETER ) Ċ @ Implicit ( VALID ATOR ) Ċ annotation Ġclass ĠLower Than ( val Ġsize : Int , Ġval Ġmessage : String Ġ= Ġ"") Ċ