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

apply

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