public String toString()
    {
        String ret = "";
        ret = getName() + " " + type.writeString();
        int na = type.num_of_arguments();

        if (na == 1)
        {
            ret += "(" + M + ")";
        } else if (na == 2)
        {
            ret += "(" + N + ", " + M + ")";
        }

        return ret;
    }