kFun

val kFun: KIMFun