code: private Result allCompatible(List<PType> to, List<PType> from,
  			boolean paramOnly)
  	{
  		if (to.size() != from.size())
  		{
  			return Result.No;
  		} else
  		{
  			for (int i = 0; i < to.size(); i++)
  			{
  				if (searchCompatible(to.get(i), from.get(i), paramOnly) == Result.No)
  				{
  					return Result.No;
  				}
  			}
  		}
  
  		return Result.Yes;
  	}
docs: Compare two type lists for placewise compatibility. This is used to check ordered lists of types such as those in
  a ProductType or parameters to a function or operation.
  
  @param to
  @param from
  @return Yes or No.