module Pt = Pb_parsing_parse_treeProtobuf typed tree.
The typetree type is parametrized to allow for 2 phase compilation.
type ('a, 'b) field = {field_parsed : 'b Pt.field;field_type : 'a Pb_field_type.t;field_default : Pb_option.constant option;field_options : Pb_option.set;}Field definition.
'a is for unresolved or resolved'b is for field_label to account for both normal and one of fields.type 'a oneof_field = ('a, Pt.oneof_field_label) fieldtype 'a message_field = ('a, Pt.message_field_label) fieldtype 'a map_field = {map_name : string;map_number : int;map_key_type : Pb_field_type.map_key_type;map_value_type : 'a Pb_field_type.t;map_options : Pb_option.set;}Map definition
Oneof definition
Type scope
The scope of a type (message or enum) is defined by the package (defined in the top of the proto file as well as the messages above it since a message definition can be nested
type 'a message_body_content = | Message_field of 'a message_field| Message_oneof_field of 'a oneof| Message_map_field of 'a map_fielditem for the message body
and 'a message = {extensions : Pt.extension_range list;message_options : Pb_option.set;message_name : string;message_body : 'a message_body_content list;}type 'a proto_type = {scope : type_scope;id : int;file_name : string;file_options : Pb_option.set;spec : 'a proto_type_spec;}type 'a proto = 'a proto_type list