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
=[
]
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