ksmt-core/io.ksmt.expr/KFunctionAsArray/function

function

val function: KFuncDecl<R>