public override string signature() { if (m_sig == null) { m_sig = m_v.signature() + "[]"; } return m_sig; }