Module Odoc_info.Exception

Representation and manipulation of exceptions.

type exception_alias = Odoc_exception.exception_alias = {
  1. ea_name : Name.t;
    (*

    The complete name of the target exception.

    *)
  2. mutable ea_ex : t_exception option;
    (*

    The target exception, if we found it.

    *)
}

Used when the exception is a rebind of another exception, when we have exception Ex = Target_ex.

and t_exception = Odoc_exception.t_exception = {
  1. ex_name : Name.t;
  2. mutable ex_info : info option;
    (*

    Information found in the optional associated comment.

    *)
  3. ex_args : Odoc_type.constructor_args;
  4. ex_ret : Types.type_expr option;
    (*

    The optional return type of the exception.

    *)
  5. ex_alias : exception_alias option;
    (*

    None when the exception is not a rebind.

    *)
  6. mutable ex_loc : location;
  7. mutable ex_code : string option;
}