menu
fixed_z3 package
documentation
z3.dart
fpaIsSubnormal function
fpaIsSubnormal function
dark_mode
light_mode
fpaIsSubnormal
function
Expr
fpaIsSubnormal
(
Expr
x
)
Implementation
Expr fpaIsSubnormal(Expr x) => UnaryOp(UnaryOpKind.fpaIsSubnormal, x).declare();
fixed_z3 package
documentation
z3
fpaIsSubnormal function
z3 library