}
@Override
public Type getFormals() {
// get formals is overridden because we can provide labeled parameters for JavaMethods (no pattern matching)
FunctionDeclaration func = (FunctionDeclaration) getAst();
List<Expression> formals = func.getSignature().getParameters().getFormals().getFormals();
int arity = formals.size();
Type[] types = new Type[arity];
String[] labels = new String[arity];
FunctionType ft = getFunctionType();