ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyFpSqrtExpr

simplifyFpSqrtExpr

fun <T : KFpSort> KContext.simplifyFpSqrtExpr(roundingMode: KExpr<KFpRoundingModeSort>, value: KExpr<T>): KExpr<T>