As I understand it, for any given n, ModInt{n} is a different type.
The type knows about n but n is not a slot in the type. The type only has
one slot, k. So you can't have a constructor with two parameters as you are declaring it. > >
As I understand it, for any given n, ModInt{n} is a different type.
The type knows about n but n is not a slot in the type. The type only has
one slot, k. So you can't have a constructor with two parameters as you are declaring it. > >