MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / FpOpNode

Class FpOpNode

lean_py/z3/_ast.py:441–445  ·  view source on GitHub ↗

Named FP operation with pre-compiled args (RM already stripped).

Source from the content-addressed store, hash-verified

439
440@dataclass(frozen=True)
441class FpOpNode:
442 """Named FP operation with pre-compiled args (RM already stripped)."""
443
444 op: str # e.g. "fpAdd", "fpIsNaN", "fpLT"
445 args: tuple[ASTNode, ...]
446
447
448@dataclass(frozen=True)

Callers 2

_fp_opFunction · 0.90
_fp_predFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected