ksmt-core/io.ksmt.solver.model/KFuncInterpEntryTwoAry/arg0

arg0

abstract val arg0: KExpr<*>