Function fpFMA

lean_py/z3/core.py:3391–3392

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

def fpFMA(rm: FPRMRef, a: FPRef, b: FPRef, c: FPRef, ctx: Context | None = None) -> FPRef:
    return _fp_op("fpFMA", rm, a, b, c)


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