Odoc_info.Exceptiontype exception_alias = Odoc_exception.exception_alias = {ea_name : Name.t;mutable ea_ex : t_exception option;}and t_exception = Odoc_exception.t_exception = {ex_name : Name.t;mutable ex_info : info option;ex_args : Odoc_type.constructor_args;ex_ret : Types.type_expr option;ex_alias : exception_alias option;mutable ex_loc : location;mutable ex_code : string option;}