Akira Hatanaka <ahatanak at gmail.com> writes:
> foreach i = 0-3 in
> def D#i: Base0<i>, Base1<StrList.ls[i]>;
I can't recall if this works but you might try:
def D#i: Base0<i>, Base1<StrList.ls[#i]>;
That is, paste the value of i against an empty string.
-David