F64.f64_op: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64
Lines 1257-1288 of bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&start_line=1257&end_line=1288

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N

def f64_op(o: N.Op<F64>) -> F64:
  match o:
    case N.ZeroOp{}:
      zero(False{})
    case N.One{}:
      one()
    case N.Add{a, b}:
      add(a, b)
    case N.Sub{a, b}:
      sub(a, b)
    case N.Mul{a, b}:
      mul(a, b)
    case N.Neg{a}:
      neg(a)
    case N.Abs{a}:
      abs(a)
    case N.Quot{a, b}:
      div(a, b)
    case N.Rem{a, b}:
      nan()
    case N.Half{a}:
      mul(a, Bits{0, 1071644672})
    case N.MulMod{a, b, m}:
      nan()
    case N.Pow2{k}:
      pow2(k)
    case N.Sqrt{a}:
      sqrt(a)
    case N.PowMod{a, e, m}:
      nan()
    case N.GcdSmall{a, b}:
      nan()

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=F64
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=abs
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=add
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=div
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=mul
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=nan
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=neg
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=one
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=pow2
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=sqrt
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=sub
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend&name=zero
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/num.bend&name=Op