> OK? > This is largely OK modulo the following.
Please remove the alternatives in the subsi3 pattern since that is just unnecessary. Please make the constraints internal only. cheers Ramana > Andrew
> OK? > This is largely OK modulo the following.
Please remove the alternatives in the subsi3 pattern since that is just unnecessary. Please make the constraints internal only. cheers Ramana > Andrew