Errors (odoc.Odoc_xref2.Errors)

module Tools_error : sig ... end

val is_unexpanded_module_type_of : Tools_error.any -> bool

val kind_of_module_cpath : [> `Apply of 'a * 'a | `Dot of 'a * 'b | `Root of 'c | `Substituted of 'a ] as 'a -> [> `Root of 'c ] option

val kind_of_module_type_cpath : [> `Dot of [> `Apply of 'b * 'b | `Dot of 'b * 'c | `Root of 'd | `Substituted of 'b ] as 'b * 'e | `Substituted of 'a ] as 'a -> [> `Root of 'd ] option

val kind_of_error : what:[> `Include of Component.Include.decl | `Module of [> `Root of 'a * Odoc_model.Names.ModuleName.t ] ] ->
[< `ApplyNotFunctor | `Class_replaced | `Find_failure | `Fragment_root | `Local of Env.t * [< Ident.path_module ] | `LocalMT of Env.t * [< Ident.module_type ] | `LocalType of Env.t * [< Ident.path_type ] | `Lookup_failure of [< Odoc_model.Paths.Identifier.Path.Module.t ] | `Lookup_failureMT of [< Odoc_model.Paths.Identifier.ModuleType.t ] | `Lookup_failureT of [< Odoc_model.Paths.Identifier.Path.Type.t ] | `Lookup_failure_root of string | `OpaqueClass | `OpaqueModule | `Parent of [< Tools_error.parent_lookup_error ] | `Parent_expr of [< `ApplyNotFunctor | `OpaqueModule | `Parent of Tools_error.parent_lookup_error | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] | `Parent_module of [< Tools_error.simple_module_lookup_error ] | `Parent_module_type of [< Tools_error.simple_module_type_lookup_error ] | `Parent_sig of [< `OpaqueModule | `UnexpandedTypeOf of Component.ModuleType.type_of_desc | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] | `Parent_type of [< Tools_error.simple_type_lookup_error ] | `Reference of [< `Find_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Lookup_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Parent of Tools_error.parent_lookup_error | `Wrong_kind of Tools_error.reference_kind list * Tools_error.reference_kind ] | `UnexpandedTypeOf of Component.ModuleType.type_of_desc | `UnresolvedForwardPath | `UnresolvedPath of [< `Module of [< Cpath.module_ ] * [< Tools_error.simple_module_lookup_error ] | `ModuleType of [< Cpath.module_type ] * [< Tools_error.simple_module_type_lookup_error ] ] | `Unresolved_apply ] option -> [> `OpaqueModule | `Root of string ] option

type what = [

| `Functor_parameter of Odoc_model.Paths.Identifier.FunctorParameter.t

| `Value of Odoc_model.Paths.Identifier.Value.t

| `Class of Odoc_model.Paths.Identifier.Class.t

| `Class_type of Odoc_model.Paths.Identifier.ClassType.t

| `Module of Odoc_model.Paths.Identifier.Module.t

| `Module_type of Odoc_model.Paths.Identifier.Signature.t

| `Module_path of Cpath.module_

| `Module_type_path of Cpath.module_type

| `Module_type_U of Component.ModuleType.U.expr

| `Include of Component.Include.decl

| `Package of Cpath.module_type

| `Type of Cfrag.type_

| `Type_path of Cpath.type_

| `With_module of Cfrag.module_

| `With_module_type of Cfrag.module_type

| `With_type of Cfrag.type_

| `Module_type_expr of Component.ModuleType.expr

| `Module_type_u_expr of Component.ModuleType.U.expr

| `Child of Odoc_model.Paths.Reference.t

| `Reference of Odoc_model.Paths.Reference.t

]

val report : what:what ->
?tools_error:[< `ApplyNotFunctor | `Class_replaced | `Find_failure | `Fragment_root | `Local of Env.t * [< Ident.path_module ] & Env.t * [< Ident.path_module ] | `LocalMT of Env.t * [< Ident.module_type ] & Env.t * [< Ident.module_type ] | `LocalType of Env.t * [< Ident.path_type ] & Env.t * [< Ident.path_type ] | `Lookup_failure of [< Odoc_model.Paths.Identifier.Path.Module.t ] & [< Odoc_model.Paths.Identifier.Path.Module.t ] | `Lookup_failureMT of [< Odoc_model.Paths.Identifier.ModuleType.t ] & [< Odoc_model.Paths.Identifier.ModuleType.t ] | `Lookup_failureT of [< Odoc_model.Paths.Identifier.Path.Type.t ] & [< Odoc_model.Paths.Identifier.Path.Type.t ] | `Lookup_failure_root of string | `OpaqueClass | `OpaqueModule | `Parent of [< Tools_error.parent_lookup_error ] & [< Tools_error.parent_lookup_error ] | `Parent_expr of [< `ApplyNotFunctor | `OpaqueModule | `Parent of Tools_error.parent_lookup_error | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] & [< `ApplyNotFunctor | `OpaqueModule | `Parent of Tools_error.parent_lookup_error | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] | `Parent_module of [< Tools_error.simple_module_lookup_error ] & [< Tools_error.simple_module_lookup_error ] | `Parent_module_type of [< Tools_error.simple_module_type_lookup_error ] & [< Tools_error.simple_module_type_lookup_error ] | `Parent_sig of [< `OpaqueModule | `UnexpandedTypeOf of Component.ModuleType.type_of_desc | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] & [< `OpaqueModule | `UnexpandedTypeOf of Component.ModuleType.type_of_desc | `UnresolvedForwardPath | `UnresolvedPath of [ `Module of Cpath.module_ * Tools_error.simple_module_lookup_error | `ModuleType of Cpath.module_type * Tools_error.simple_module_type_lookup_error ] ] | `Parent_type of [< Tools_error.simple_type_lookup_error ] & [< Tools_error.simple_type_lookup_error ] | `Reference of [< `Find_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Lookup_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Parent of Tools_error.parent_lookup_error | `Wrong_kind of Tools_error.reference_kind list * Tools_error.reference_kind ] & [< `Find_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Lookup_by_name of [< `Any | `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] * string | `Parent of Tools_error.parent_lookup_error | `Wrong_kind of Tools_error.reference_kind list * Tools_error.reference_kind ] | `UnexpandedTypeOf of Component.ModuleType.type_of_desc | `UnresolvedForwardPath | `UnresolvedPath of [< `Module of [< Cpath.module_ ] * [< Tools_error.simple_module_lookup_error ] | `ModuleType of [< Cpath.module_type ] * [< Tools_error.simple_module_type_lookup_error ] ] & [< `Module of [< Cpath.module_ ] * [< Tools_error.simple_module_lookup_error ] | `ModuleType of [< Cpath.module_type ] * [< Tools_error.simple_module_type_lookup_error ] ] | `Unresolved_apply ]
-> [< `Compile | `Expand | `Lookup | `Resolve | `Resolve_module_type ] -> unit