Errors (odoc.Odoc_xref2.Errors)

module Tools_error : sig ... end

val is_unexpanded_module_type_of : Tools_error.any -> bool

type kind = [

| `OpaqueModule
| `Root of string

]

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_type_of_desc : 
  Odoc_xref2.Component.ModuleType.type_of_desc ->
  kind option

val kind_of_error : 
  what:
    [> `Include of Odoc_xref2.Component.Include.decl
    | `Module of
      [> `Root of 'a * Odoc_model.Names.ModuleName.t ]
        Odoc_model.Paths.Identifier.id ] ->
  [< `ApplyNotFunctor
  | `Class_replaced
  | `Find_failure
  | `Fragment_root
  | `Local of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.path_module ]
  | `LocalConstructor of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.constructor ]
  | `LocalDataType of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.datatype ]
  | `LocalMT of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.module_type ]
  | `LocalType of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.path_type ]
  | `LocalValue of Odoc_xref2.Env.t * [< Odoc_xref2.Ident.value ]
  | `Lookup_failure of
    [< Odoc_model__Paths.Identifier.Id.path_module_pv ]
      Odoc_model__Paths_types.id
  | `Lookup_failureC of
    [< Odoc_model__Paths.Identifier.Id.constructor_pv ]
      Odoc_model__Paths_types.id
  | `Lookup_failureMT of
    [< Odoc_model__Paths.Identifier.Id.module_type_pv ]
      Odoc_model__Paths_types.id
  | `Lookup_failureT of
    [< Odoc_model__Paths.Identifier.Id.path_type_pv ]
      Odoc_model__Paths_types.id
  | `Lookup_failureV of
    [< Odoc_model__Paths.Identifier.Id.value_pv ] Odoc_model__Paths_types.id
  | `Lookup_failure_root of string
  | `OpaqueClass
  | `OpaqueModule
  | `Parent of [< Tools_error.parent_lookup_error ]
  | `ParentC of [< Tools_error.simple_datatype_lookup_error ]
  | `Parent_expr of
    [< `ApplyNotFunctor
    | `OpaqueModule
    | `Parent of Tools_error.parent_lookup_error
    | `UnresolvedForwardPath
    | `UnresolvedPath of
      [ `Module of
          Odoc_xref2.Cpath.module_ * Tools_error.simple_module_lookup_error
      | `ModuleType of
        Odoc_xref2.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 Odoc_xref2.Component.ModuleType.type_of_desc
    | `UnresolvedForwardPath
    | `UnresolvedPath of
      [ `Module of
          Odoc_xref2.Cpath.module_ * Tools_error.simple_module_lookup_error
      | `ModuleType of
        Odoc_xref2.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 Odoc_xref2.Component.ModuleType.type_of_desc
  | `UnresolvedForwardPath
  | `UnresolvedPath of
    [< `Module of
         [< Odoc_xref2.Cpath.module_ ]
         * [< Tools_error.simple_module_lookup_error ]
    | `ModuleType of
      [< Odoc_xref2.Cpath.module_type ]
      * [< Tools_error.simple_module_type_lookup_error ] ] ]
    option ->
  kind option

type what = [

| `Child_module of string
| `Child_page of string
| `Class of Odoc_model.Paths.Identifier.Class.t
| `Class_type of Odoc_model.Paths.Identifier.ClassType.t
| `Class_type_path of Odoc_xref2.Cpath.class_type
| `Constructor_path of Odoc_xref2.Cpath.constructor
| `Functor_parameter of Odoc_model.Paths.Identifier.FunctorParameter.t
| `Include of Odoc_xref2.Component.Include.decl
| `Module of Odoc_model.Paths.Identifier.Module.t
| `Module_path of Odoc_xref2.Cpath.module_
| `Module_type of Odoc_model.Paths.Identifier.Signature.t
| `Module_type_U of Odoc_xref2.Component.ModuleType.U.expr
| `Module_type_expr of Odoc_xref2.Component.ModuleType.expr
| `Module_type_path of Odoc_xref2.Cpath.module_type
| `Module_type_u_expr of Odoc_xref2.Component.ModuleType.U.expr
| `Package of Odoc_xref2.Cpath.module_type
| `Reference of Odoc_model.Paths.Reference.t
| `Type of Odoc_xref2.Cfrag.type_
| `Type_path of Odoc_xref2.Cpath.type_
| `Value of Odoc_model.Paths.Identifier.Value.t
| `Value_path of Odoc_xref2.Cpath.value
| `With_module of Odoc_xref2.Cfrag.module_
| `With_module_type of Odoc_xref2.Cfrag.module_type
| `With_type of Odoc_xref2.Cfrag.type_

]

val report : 
  what:what ->
  ?tools_error:
    [< `ApplyNotFunctor
    | `Class_replaced
    | `Find_failure
    | `Fragment_root
    | `Local of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.path_module ] & Odoc_xref2.Env.t
                                                             * [< Odoc_xref2.Ident.path_module ]
    | `LocalConstructor of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.constructor ] & Odoc_xref2.Env.t
                                                             * [< Odoc_xref2.Ident.constructor ]
    | `LocalDataType of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.datatype ] & Odoc_xref2.Env.t
                                                          * [< Odoc_xref2.Ident.datatype ]
    | `LocalMT of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.module_type ] & Odoc_xref2.Env.t
                                                             * [< Odoc_xref2.Ident.module_type ]
    | `LocalType of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.path_type ] & Odoc_xref2.Env.t
                                                           * [< Odoc_xref2.Ident.path_type ]
    | `LocalValue of
      Odoc_xref2.Env.t * [< Odoc_xref2.Ident.value ] & Odoc_xref2.Env.t
                                                       * [< Odoc_xref2.Ident.value ]
    | `Lookup_failure of
      [< Odoc_model__Paths.Identifier.Id.path_module_pv ]
        Odoc_model__Paths_types.id & [< Odoc_model__Paths.Identifier.Id.path_module_pv ]
                                       Odoc_model__Paths_types.id
    | `Lookup_failureC of
      [< Odoc_model__Paths.Identifier.Id.constructor_pv ]
        Odoc_model__Paths_types.id & [< Odoc_model__Paths.Identifier.Id.constructor_pv ]
                                       Odoc_model__Paths_types.id
    | `Lookup_failureMT of
      [< Odoc_model__Paths.Identifier.Id.module_type_pv ]
        Odoc_model__Paths_types.id & [< Odoc_model__Paths.Identifier.Id.module_type_pv ]
                                       Odoc_model__Paths_types.id
    | `Lookup_failureT of
      [< Odoc_model__Paths.Identifier.Id.path_type_pv ]
        Odoc_model__Paths_types.id & [< Odoc_model__Paths.Identifier.Id.path_type_pv ]
                                       Odoc_model__Paths_types.id
    | `Lookup_failureV of
      [< Odoc_model__Paths.Identifier.Id.value_pv ] Odoc_model__Paths_types.id & 
      [< Odoc_model__Paths.Identifier.Id.value_pv ]
        Odoc_model__Paths_types.id
    | `Lookup_failure_root of string
    | `OpaqueClass
    | `OpaqueModule
    | `Parent of
      [< Tools_error.parent_lookup_error ] & [< Tools_error.parent_lookup_error ]
    | `ParentC of
      [< Tools_error.simple_datatype_lookup_error ] & [< Tools_error.simple_datatype_lookup_error ]
    | `Parent_expr of
      [< `ApplyNotFunctor
      | `OpaqueModule
      | `Parent of Tools_error.parent_lookup_error
      | `UnresolvedForwardPath
      | `UnresolvedPath of
        [ `Module of
            Odoc_xref2.Cpath.module_ * Tools_error.simple_module_lookup_error
        | `ModuleType of
          Odoc_xref2.Cpath.module_type
          * Tools_error.simple_module_type_lookup_error ] ] & [< `ApplyNotFunctor
                                                              | `OpaqueModule
                                                              | `Parent of
                                                                Tools_error.parent_lookup_error
                                                              | `UnresolvedForwardPath
                                                              | `UnresolvedPath of
                                                                [ `Module of
                                                                    Odoc_xref2.Cpath.module_
                                                                    * 
                                                                    Tools_error.simple_module_lookup_error
                                                                | `ModuleType of
                                                                  Odoc_xref2.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 Odoc_xref2.Component.ModuleType.type_of_desc
      | `UnresolvedForwardPath
      | `UnresolvedPath of
        [ `Module of
            Odoc_xref2.Cpath.module_ * Tools_error.simple_module_lookup_error
        | `ModuleType of
          Odoc_xref2.Cpath.module_type
          * Tools_error.simple_module_type_lookup_error ] ] & [< `OpaqueModule
                                                              | `UnexpandedTypeOf of
                                                                Odoc_xref2.Component.ModuleType.type_of_desc
                                                              | `UnresolvedForwardPath
                                                              | `UnresolvedPath of
                                                                [ `Module of
                                                                    Odoc_xref2.Cpath.module_
                                                                    * 
                                                                    Tools_error.simple_module_lookup_error
                                                                | `ModuleType of
                                                                  Odoc_xref2.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 Odoc_xref2.Component.ModuleType.type_of_desc
    | `UnresolvedForwardPath
    | `UnresolvedPath of
      [< `Module of
           [< Odoc_xref2.Cpath.module_ ]
           * [< Tools_error.simple_module_lookup_error ]
      | `ModuleType of
        [< Odoc_xref2.Cpath.module_type ]
        * [< Tools_error.simple_module_type_lookup_error ] ] & [< `Module of
                                                                    [< 
                                                                    Odoc_xref2.Cpath.module_ ]
                                                                    * 
                                                                    [< 
                                                                    Tools_error.simple_module_lookup_error ]
                                                               | `ModuleType of
                                                                 [< Odoc_xref2.Cpath.module_type ]
                                                                 * [< 
                                                                   Tools_error.simple_module_type_lookup_error ] ] ] ->
  [< `Compile | `Expand | `Lookup | `Resolve | `Resolve_module_type ] ->
  unit