Module Paths_types.Reference

type tag_only_module = [
| `TModule
]
type tag_only_module_type = [
| `TModuleType
]
type tag_only_type = [
| `TType
]
type tag_only_constructor = [
| `TConstructor
]
type tag_only_field = [
| `TField
]
type tag_only_extension = [
| `TExtension
]
type tag_only_exception = [
| `TException
]
type tag_only_value = [
| `TValue
]
type tag_only_class = [
| `TClass
]
type tag_only_class_type = [
| `TClassType
]
type tag_only_method = [
| `TMethod
]
type tag_only_instance_variable = [
| `TInstanceVariable
]
type tag_only_label = [
| `TLabel
]
type tag_only_page = [
| `TPage
]
type tag_unknown = [
| `TUnknown
]
type tag_any = [
| tag_only_module
| tag_only_module_type
| tag_only_type
| tag_only_constructor
| tag_only_field
| tag_only_extension
| tag_only_exception
| tag_only_value
| tag_only_class
| tag_only_class_type
| tag_only_method
| tag_only_instance_variable
| tag_only_label
| tag_only_page
| tag_unknown
]
type tag_signature = [
| tag_unknown
| tag_only_module
| tag_only_module_type
]
type tag_class_signature = [
| tag_unknown
| tag_only_class
| tag_only_class_type
]
type tag_datatype = [
| tag_unknown
| tag_only_type
]
type tag_parent = [
| tag_unknown
| tag_only_module
| tag_only_module_type
| tag_only_class
| tag_only_class_type
| tag_only_type
]
type tag_label_parent = [
| tag_unknown
| tag_only_module
| tag_only_module_type
| tag_only_class
| tag_only_class_type
| tag_only_type
| tag_only_page
]
type signature = [
| `Resolved of Resolved_reference.signature
| `Root of Names.UnitName.t * tag_signature
| `Dot of label_parent * string
| `Module of signature * Names.ModuleName.t
| `ModuleType of signature * Names.ModuleTypeName.t
]
and class_signature = [
| `Resolved of Resolved_reference.class_signature
| `Root of Names.UnitName.t * tag_class_signature
| `Dot of label_parent * string
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
]
and datatype = [
| `Resolved of Resolved_reference.datatype
| `Root of Names.UnitName.t * tag_datatype
| `Dot of label_parent * string
| `Type of signature * Names.TypeName.t
]
and parent = [
| `Resolved of Resolved_reference.parent
| `Root of Names.UnitName.t * tag_parent
| `Dot of label_parent * string
| `Module of signature * Names.ModuleName.t
| `ModuleType of signature * Names.ModuleTypeName.t
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
| `Type of signature * Names.TypeName.t
]
and label_parent = [
| `Resolved of Resolved_reference.label_parent
| `Root of Names.UnitName.t * tag_label_parent
| `Dot of label_parent * string
| `Module of signature * Names.ModuleName.t
| `ModuleType of signature * Names.ModuleTypeName.t
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
| `Type of signature * Names.TypeName.t
]
type tag_module = [
| tag_only_module
| tag_unknown
]
type module_ = [
| `Resolved of Resolved_reference.module_
| `Root of Names.UnitName.t * tag_module
| `Dot of label_parent * string
| `Module of signature * Names.ModuleName.t
]
type tag_module_type = [
| tag_only_module_type
| tag_unknown
]
type module_type = [
| `Resolved of Resolved_reference.module_type
| `Root of Names.UnitName.t * tag_module_type
| `Dot of label_parent * string
| `ModuleType of signature * Names.ModuleTypeName.t
]
type tag_type = [
| tag_only_type
| tag_only_class
| tag_only_class_type
| tag_unknown
]
type type_ = [
| `Resolved of Resolved_reference.type_
| `Root of Names.UnitName.t * tag_type
| `Dot of label_parent * string
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
| `Type of signature * Names.TypeName.t
]
type tag_constructor = [
| tag_only_constructor
| tag_only_extension
| tag_only_exception
| tag_unknown
]
type constructor = [
| `Resolved of Resolved_reference.constructor
| `Root of Names.UnitName.t * tag_constructor
| `Dot of label_parent * string
| `Constructor of datatype * Names.ConstructorName.t
| `Extension of signature * Names.ExtensionName.t
| `Exception of signature * Names.ExceptionName.t
]
type tag_field = [
| tag_only_field
| tag_unknown
]
type field = [
| `Resolved of Resolved_reference.field
| `Root of Names.UnitName.t * tag_field
| `Dot of label_parent * string
| `Field of parent * Names.FieldName.t
]
type tag_extension = [
| tag_only_extension
| tag_only_exception
| tag_unknown
]
type extension = [
| `Resolved of Resolved_reference.extension
| `Root of Names.UnitName.t * tag_extension
| `Dot of label_parent * string
| `Extension of signature * Names.ExtensionName.t
| `Exception of signature * Names.ExceptionName.t
]
type tag_exception = [
| tag_only_exception
| tag_unknown
]
type exception_ = [
| `Resolved of Resolved_reference.exception_
| `Root of Names.UnitName.t * tag_exception
| `Dot of label_parent * string
| `Exception of signature * Names.ExceptionName.t
]
type tag_value = [
| tag_only_value
| tag_unknown
]
type value = [
| `Resolved of Resolved_reference.value
| `Root of Names.UnitName.t * tag_value
| `Dot of label_parent * string
| `Value of signature * Names.ValueName.t
]
type tag_class = [
| tag_only_class
| tag_unknown
]
type class_ = [
| `Resolved of Resolved_reference.class_
| `Root of Names.UnitName.t * tag_class
| `Dot of label_parent * string
| `Class of signature * Names.ClassName.t
]
type tag_class_type = [
| tag_only_class
| tag_only_class_type
| tag_unknown
]
type class_type = [
| `Resolved of Resolved_reference.class_type
| `Root of Names.UnitName.t * tag_class_type
| `Dot of label_parent * string
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
]
type tag_method = [
| tag_only_method
| tag_unknown
]
type method_ = [
| `Resolved of Resolved_reference.method_
| `Root of Names.UnitName.t * tag_method
| `Dot of label_parent * string
| `Method of class_signature * Names.MethodName.t
]
type tag_instance_variable = [
| tag_only_instance_variable
| tag_unknown
]
type instance_variable = [
| `Resolved of Resolved_reference.instance_variable
| `Root of Names.UnitName.t * tag_instance_variable
| `Dot of label_parent * string
| `InstanceVariable of class_signature * Names.InstanceVariableName.t
]
type tag_label = [
| tag_only_label
| tag_unknown
]
type label = [
| `Resolved of Resolved_reference.label
| `Root of Names.UnitName.t * tag_label
| `Dot of label_parent * string
| `Label of label_parent * Names.LabelName.t
]
type tag_page = [
| tag_only_page
| tag_unknown
]
type page = [
| `Resolved of Resolved_reference.page
| `Root of Names.UnitName.t * tag_page
| `Dot of label_parent * string
]
type any = [
| `Resolved of Resolved_reference.any
| `Root of Names.UnitName.t * tag_any
| `Dot of label_parent * string
| `Module of signature * Names.ModuleName.t
| `ModuleType of signature * Names.ModuleTypeName.t
| `Type of signature * Names.TypeName.t
| `Constructor of datatype * Names.ConstructorName.t
| `Field of parent * Names.FieldName.t
| `Extension of signature * Names.ExtensionName.t
| `Exception of signature * Names.ExceptionName.t
| `Value of signature * Names.ValueName.t
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
| `Method of class_signature * Names.MethodName.t
| `InstanceVariable of class_signature * Names.InstanceVariableName.t
| `Label of label_parent * Names.LabelName.t
]