Num.Op: type of bend-collections-laws-math@1.0.0.0
Import: import bend-collections-laws-math@1.0.0.0/src/math/num.bend as Num
Lines 50-65 of bend-collections-laws-math@1.0.0.0/src/math/num.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-math@1.0.0.0/src/math/num.bend&start_line=50&end_line=65

import Base

type Op<-T: Data> is Data:
  ZeroOp{}
  One{}
  Add{a: T, b: T}
  Sub{a: T, b: T}
  Mul{a: T, b: T}
  Neg{a: T}
  Abs{a: T}
  Quot{a: T, b: T}
  Rem{a: T, b: T}
  Half{a: T}
  MulMod{a: T, b: T, m: T}
  Pow2{k: Nat}
  Sqrt{a: T}
  PowMod{a: T, e: T, m: T}
  GcdSmall{a: T, b: T}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat