code: protected PMultipleBind getMultipleTypeBind(PType patternType,
  			ILexNameToken... patternNames)
  	{
  		ATypeMultipleBind typeBind = new ATypeMultipleBind();
  		List<PPattern> patternList = new Vector<PPattern>();
  
  		for (ILexNameToken patternName : patternNames)
  		{
  			AIdentifierPattern pattern = new AIdentifierPattern();
  			pattern.setName(patternName.clone());
  			patternList.add(pattern);
  		}
  
  		typeBind.setPlist(patternList);
  		typeBind.setType(patternType.clone());
  
  		return typeBind;
  	}
docs: Create a multiple type bind with a varargs list of pattern variables, like a,b,c:T. This is used by several
  obligations.