ksmt-core/io.ksmt.decl/KIteDecl/apply

apply

open override fun KContext.apply(arg0: KExpr<KBoolSort>, arg1: KExpr<T>, arg2: KExpr<T>): KApp<T, *>