type Test

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

import 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}