The names of the product elements.
The name of the type.
Links file protos in dependency order.
protoc guarantees topological order in proto_file, so a single left fold suffices: every dependency has already been built by the time its dependents are reached.
proto_file