* @param functionDefn An algebraic function definition
* @return A string representing the left-hand side of the definition
*/
private String leftHandString(FunctionDefn functionDefn) {
if (functionDefn instanceof Algebraic) {
Algebraic algebraic = (Algebraic)functionDefn;
StringBuilder buffer = new StringBuilder(algebraic.getScope().toString());
buffer.append(' ');
buffer.append(algebraic.getName());
for(int i = 0; i < algebraic.getNParameters(); i++) {
buffer.append(' ');
buffer.append(algebraic.getNthParameter(i));
}
buffer.append(" = ...");
return buffer.toString();