Type resolution.
This module resolves all the user defined for the protobuf message fields; while built-in types were previously valided in Pb_typing_validation module.
After this resolution is complete each user defined field type will be a link to a unique message type identify by its id; in other word the type graph will is complete.
If the resolution fails then Pb_exception.Compilation_error is raised.
module Tt = Pb_typing_type_treemodule Types_by_scope : sig ... endCustom container for all the types (message or enums) which are organized by their scope. This allow efficient search of a type given its type path
val resolve_types :
Pb_field_type.unresolved Tt.proto_type list ->
Types_by_scope.t * Pb_field_type.resolved Tt.proto_type listresolve_types types resolves all the field types for all the types. If a field cannot be resolved then Pb_exception.Compilation_error is raised.
val resolve_services :
Types_by_scope.t ->
Pb_field_type.unresolved Tt.service list ->
Pb_field_type.resolved Tt.service list