type Test
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as Numimport Base
67type Test<-T: Data> is Data:
68 Lt{a: T, b: T}
69 AddOver{a: T, b: T}
70 MulOver{a: T, b: T}
71 Odd{a: T}
72 IsZero{a: T}
73 FastDiv{}
74 Mont{m: T}
75 Small{a: T, b: T}
Uses (0)
This definition uses no other definition.
Used by (274)
- bend-collections-laws-math@1.0.0.0/src/math/instances:u32_is
- bend-collections-laws-math@1.0.0.0/src/math/instances:u64_is
- bend-collections-laws-math@1.0.0.0/src/math/generic:gcd
- bend-collections-laws-math@1.0.0.0/src/math/generic:pow_go
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:ltv
- …