mk
open fun <T : KFpSort> mkFpSqrtExpr(roundingMode: KExpr<KFpRoundingModeSort>, value: KExpr<T>): KExpr<T>
Create Fp square root (fp.sqrt) expression. The result is rounded according to the provided roundingMode.
Create Fp square root (fp.sqrt) expression. The result is rounded according to the provided roundingMode.