Module Paths_types.Identifier

type signature = [
| `Root of Root.t * Names.UnitName.t
| `Module of signature * Names.ModuleName.t
| `Argument of signature * int * Names.ArgumentName.t
| `ModuleType of signature * Names.ModuleTypeName.t
]
type class_signature = [
| `Class of signature * Names.ClassName.t
| `ClassType of signature * Names.ClassTypeName.t
]
type datatype = [
| `Type of signature * Names.TypeName.t
| `CoreType of Names.TypeName.t
]
type parent = [
| signature
| datatype
| class_signature
]
type label_parent = [
| parent
| `Page of Root.t * Names.PageName.t
]
type module_ = [
| `Root of Root.t * Names.UnitName.t
| `Module of signature * Names.ModuleName.t
| `Argument of signature * int * Names.ArgumentName.t
]
type module_type = [
| `ModuleType of signature * Names.ModuleTypeName.t
]
type type_ = [
| `Type of signature * Names.TypeName.t
| `CoreType of Names.TypeName.t
]
type constructor = [
| `Constructor of type_ * Names.ConstructorName.t
]
type field = [
| `Field of parent * Names.FieldName.t
]
type extension = [
| `Extension of signature * Names.ExtensionName.t
]
type exception_ = [
| `Exception of signature * Names.ExceptionName.t
| `CoreException of Names.ExceptionName.t
]
type value = [
| `Value of signature * Names.ValueName.t
]
type class_ = [
| `Class of signature * Names.ClassName.t
]
type class_type = [
| `ClassType of signature * Names.ClassTypeName.t
]
type method_ = [
| `Method of class_signature * Names.MethodName.t
]
type instance_variable = [
| `InstanceVariable of class_signature * Names.InstanceVariableName.t
]
type label = [
| `Label of label_parent * Names.LabelName.t
]
type page = [
| `Page of Root.t * Names.PageName.t
]
type any = [
| signature
| class_signature
| datatype
| parent
| label_parent
| module_
| module_type
| type_
| constructor
| field
| extension
| exception_
| value
| class_
| class_type
| method_
| instance_variable
| label
| page
]
type path_module = module_
type path_module_type = module_type
type path_type = [
| type_
| class_
| class_type
]
type path_class_type = [
| class_
| class_type
]
type path_any = [
| path_module
| path_module_type
| path_type
| path_class_type
]
type fragment_module = path_module
type fragment_type = path_type
type reference_module = path_module
type reference_module_type = path_module_type
type reference_type = path_type
type reference_constructor = [
| constructor
| extension
| exception_
]
type reference_field = field
type reference_extension = [
| extension
| exception_
]
type reference_exception = exception_
type reference_value = value
type reference_class = class_
type reference_class_type = [
| class_
| class_type
]
type reference_method = method_
type reference_instance_variable = instance_variable
type reference_label = label
type reference_page = page