jwb@cepmax.ncsu.edu (John W. Baugh Jr.) (05/24/91)
I'm looking for some automatic (i.e., not by hand) way to convert LSL (v2.3) traits into LP (r2.0). Does something like that exist? Failing that ... maybe I'm missing something, but the lack of parameterized sort names in LP seems to be a major headache. I'm currently using a shell script to convert names like Pair_<T1>_<T2> into Pair_Nat_Nat. Is this the best solution? Any help would be greatly appreciated. John Baugh jwb@cepmax.ncsu.edu