Module Paths_types.Resolved_path

type module_ = [
| `Identifier of Identifier.path_module
| `Subst of module_type * module_
| `SubstAlias of module_ * module_
| `Hidden of module_
| `Module of module_ * Names.ModuleName.t
| `Canonical of module_ * Path.module_
| `Apply of module_ * Path.module_
]
and module_type = [
| `Identifier of Identifier.path_module_type
| `ModuleType of module_ * Names.ModuleTypeName.t
]
type module_no_id = [
| `Subst of module_type * module_
| `SubstAlias of module_ * module_
| `Hidden of module_
| `Module of module_ * Names.ModuleName.t
| `Canonical of module_ * Path.module_
| `Apply of module_ * Path.module_
]
type module_type_no_id = [
| `ModuleType of module_ * Names.ModuleTypeName.t
]
type type_no_id = [
| `Type of module_ * Names.TypeName.t
| `Class of module_ * Names.ClassName.t
| `ClassType of module_ * Names.ClassTypeName.t
]
type type_ = [
| `Identifier of Identifier.path_type
| type_no_id
]
type class_type_no_id = [
| `Class of module_ * Names.ClassName.t
| `ClassType of module_ * Names.ClassTypeName.t
]
type class_type = [
| `Identifier of Identifier.path_class_type
| class_type_no_id
]
type any = [
| `Identifier of Identifier.any
| module_no_id
| module_type_no_id
| type_no_id
| class_type_no_id
]