Module Paths_types.Resolved_reference

type datatype = [
| `Identifier of Identifier.datatype
| `Type of signature * Names.TypeName.t
]
and module_ = [
| `Identifier of Identifier.module_
| `SubstAlias of Resolved_path.module_ * module_
| `Module of signature * Names.ModuleName.t
| `Canonical of module_ * Reference.module_
]
and signature = [
| `Identifier of Identifier.signature
| `SubstAlias of Resolved_path.module_ * module_
| `Module of signature * Names.ModuleName.t
| `Canonical of module_ * Reference.module_
| `ModuleType of signature * Names.ModuleTypeName.t
]
and class_signature = [
| `Identifier of Identifier.class_signature
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
]
and parent = [
| `Identifier of Identifier.parent
| `SubstAlias of Resolved_path.module_ * module_
| `Module of signature * Names.ModuleName.t
| `Canonical of module_ * Reference.module_
| `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 = [
| `Identifier of Identifier.label_parent
| `SubstAlias of Resolved_path.module_ * module_
| `Module of signature * Names.ModuleName.t
| `Canonical of module_ * Reference.module_
| `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 s_substalias = [
| `SubstAlias of Resolved_path.module_ * module_
]
type s_module = [
| `Module of signature * Names.ModuleName.t
]
type s_canonical = [
| `Canonical of module_ * Reference.module_
]
type s_module_type = [
| `ModuleType of signature * Names.ModuleTypeName.t
]
type s_type = [
| `Type of signature * Names.TypeName.t
]
type s_constructor = [
| `Constructor of datatype * Names.ConstructorName.t
]
type s_field = [
| `Field of parent * Names.FieldName.t
]
type s_extension = [
| `Extension of signature * Names.ExtensionName.t
]
type s_exception = [
| `Exception of signature * Names.ExceptionName.t
]
type s_value = [
| `Value of signature * Names.ValueName.t
]
type s_class = [
| `Class of signature * Names.ClassName.t
]
type s_class_type = [
| `ClassType of signature * Names.ClassTypeName.t
]
type s_method = [
| `Method of class_signature * Names.MethodName.t
]
type s_instance_variable = [
| `InstanceVariable of class_signature * Names.InstanceVariableName.t
]
type s_label = [
| `Label of label_parent * Names.LabelName.t
]
type module_no_id = [
| s_substalias
| s_module
| s_canonical
]
type signature_no_id = [
| module_no_id
| s_module_type
]
type class_signature_no_id = [
| s_class
| s_class_type
]
type datatype_no_id = [
| s_type
]
type parent_no_id = [
| signature_no_id
| class_signature_no_id
| datatype_no_id
]
type module_type = [
| `Identifier of Identifier.reference_module_type
| s_module_type
]
type type_ = [
| `Identifier of Identifier.reference_type
| s_type
| s_class
| s_class_type
]
type constructor = [
| `Identifier of Identifier.reference_constructor
| s_constructor
| s_extension
| s_exception
]
type constructor_no_id = [
| s_constructor
| s_extension
| s_exception
]
type field = [
| `Identifier of Identifier.reference_field
| s_field
]
type extension = [
| `Identifier of Identifier.reference_extension
| s_exception
| s_extension
]
type extension_no_id = [
| s_exception
| s_extension
]
type exception_ = [
| `Identifier of Identifier.reference_exception
| s_exception
]
type value = [
| `Identifier of Identifier.reference_value
| s_value
]
type class_ = [
| `Identifier of Identifier.reference_class
| s_class
]
type class_type = [
| `Identifier of Identifier.reference_class_type
| s_class
| s_class_type
]
type class_type_no_id = [
| s_class
| s_class_type
]
type method_ = [
| `Identifier of Identifier.reference_method
| s_method
]
type instance_variable = [
| `Identifier of Identifier.reference_instance_variable
| s_instance_variable
]
type label = [
| `Identifier of Identifier.reference_label
| s_label
]
type page = [
| `Identifier of Identifier.reference_page
]
type any = [
| `Identifier of Identifier.any
| s_substalias
| s_module
| s_canonical
| s_module_type
| s_type
| s_constructor
| s_field
| s_extension
| s_exception
| s_value
| s_class
| s_class_type
| s_method
| s_instance_variable
| s_label
]