tree 1b14ff2415ff2bfaec86aa61c16c31660c373fa8
parent 9d16d2072be18b1734c22cd58cd9a07af28ede41
author Dan Egnor <egnor@google.com> 1242694795 -0700
committer Dan Egnor <egnor@google.com> 1242694795 -0700

Qualify a type and add some explanatory comments.