// Encode as "@<id> [dis]"
public override string toZinc()
{
StringBuilder s = new StringBuilder();
s.Append('@');
s.Append(val);
if (m_dis != null)
{
s.Append(' ');
HStr.toZinc(ref s, m_dis);
}
return(s.ToString());
}
// Convenience for <code>add(name, HStr.make(val))</code>
public HDictBuilder add(string name, string val)
{
return(add(name, HStr.make(val)));
}