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

apply

open override fun apply(args: List<KExpr<*>>): KApp<KFpRoundingModeSort, *>