tree 1730e2463a07358849a0654f9aa6b60fa09b2e76
parent b5c37304f66636cfb5feaf741d351e2dac69def1
author Shawn O. Pearce <sop@google.com> 1307374804 -0700
committer Shawn O. Pearce <sop@google.com> 1307377116 -0700

Add name() to Term API

This can help when matching a StructureTerm with isStructure().