Function fpAdd

lean_py/z3/core.py:3363–3364

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

# FP arithmetic
def fpAdd(rm: FPRMRef, a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef:
    return _fp_op("fpAdd", rm, a, b)


def fpSub(rm: FPRMRef, a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef: