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
]