text: public override string ToString(){string opName = GetType().FullName;int index = opName.IndexOf('$');opName = Sharpen.Runtime.Substring(opName, index + 1, opName.Length);return "<" + opName + "@" + tokens.Get(this.index) + ":\"" + text + "\">";}