Function fpLEQ

lean_py/z3/core.py:3408–3409

(a: FPRef, b: FPRef, ctx: Context | None = None)

# FP comparisons
def fpLEQ(a: FPRef, b: FPRef, ctx: Context | None = None) -> BoolRef:
    return _fp_pred("fpLEQ", a, b)


def fpLT(a: FPRef, b: FPRef, ctx: Context | None = None) -> BoolRef: