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

apply

open override fun KContext.apply(arg: KExpr<KRealSort>): KApp<KBoolSort, KRealSort>