ksmt-core/io.ksmt/KContext/mkFpRemExpr

mkFpRemExpr

open fun <T : KFpSort> mkFpRemExpr(arg0: KExpr<T>, arg1: KExpr<T>): KExpr<T>

Create Fp IEEE remainder (fp.IEEERem) expression.