def f64_op
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
1257def f64_op(o: N.Op<F64>) -> F64:
1258 match o:
1259 case N.ZeroOp{}:
1260 zero(False{})
1261 case N.One{}:
1262 one()
1263 case N.Add{a, b}:
1264 add(a, b)
1265 case N.Sub{a, b}:
1266 sub(a, b)
1267 case N.Mul{a, b}:
1268 mul(a, b)
1269 case N.Neg{a}:
1270 neg(a)
1271 case N.Abs{a}:
1272 abs(a)
1273 case N.Quot{a, b}:
1274 div(a, b)
1275 case N.Rem{a, b}:
1276 nan()
1277 case N.Half{a}:
1278 mul(a, Bits{0, 1071644672})
1279 case N.MulMod{a, b, m}:
1280 nan()
1281 case N.Pow2{k}:
1282 pow2(k)
1283 case N.Sqrt{a}:
1284 sqrt(a)
1285 case N.PowMod{a, e, m}:
1286 nan()
1287 case N.GcdSmall{a, b}:
1288 nan()
Uses (14)
Used by (0)
No other definition uses this definition.