Protobuffer Field type
Scope path of a type used for a message field.
For instance in the following field defintion:
required foo.bar.Msg1 f = 1
The type_path would be ["foo"; "bar"]
type unresolved = {type_path : type_path;type_name : string;from_root : bool;from_root indicates that the scope for the type is from the root of the type system. (ie starts with '.')
*)}In the first phase of the compilation the field of message type are not resolved but only properly parsed.
The following type summarizes the information of a field type.
In the following field definition:
required foo.bar.Msg1 f = 1
The unresolved type would be: {
scope=["foo";"bar"];
type_name="Msg1";
from_root = false
}
After phase 2 compilation the field type is resolved to an known message which can be uniquely identified by its id.
Integer builtin types
Builtin type defined in protobuf
field type.
The 'a type is for re-using the same type definition for the 2 compilation phases.
After Phase 1 'a is unresolved while after Phase2 'a is resolved.
type unresolved_t = unresolved tval parse : string -> unresolved_t