type Op

bend-collections-laws-math@1.0.0.0 · src/math/num.bend:50

import Base

50type Op<-T: Data> is Data:
51  ZeroOp{}
52  One{}
53  Add{a: T, b: T}
54  Sub{a: T, b: T}
55  Mul{a: T, b: T}
56  Neg{a: T}
57  Abs{a: T}
58  Quot{a: T, b: T}
59  Rem{a: T, b: T}
60  Half{a: T}
61  MulMod{a: T, b: T, m: T}
62  Pow2{k: Nat}
63  Sqrt{a: T}
64  PowMod{a: T, e: T, m: T}
65  GcdSmall{a: T, b: T}