🏠APIprotoNamespacesgoogleNamespacesprotobufNamespacesFileDescriptorSetInterfaces$PropertiesOn this pageInterface: $Properties Properties of a FileDescriptorSet. Extended by IFileDescriptorSet Properties file? optional file?: $Properties[] | null FileDescriptorSet file