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

apply

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