type ref_kind = | RK_module| RK_module_type| RK_class| RK_class_type| RK_value| RK_type| RK_extension| RK_exception| RK_attribute| RK_method| RK_section of text| RK_recfield| RK_const
and text_element = | Raw of string| Code of string| CodePre of string| Verbatim of string| Bold of text| Italic of text| Emphasize of text| Center of text| Left of text| Right of text| List of text list| Enum of text list| Newline| Block of text| Title of int * string option * text| Latex of string| Link of string * text| Ref of string * ref_kind option * text option| Superscript of text| Subscript of text| Module_list of string list| Index_list| Custom of string * text| Target of string * string
type see_ref = | See_url of string| See_file of string| See_doc of string
type param = string * texttype raised_exception = string * texttype alert = {alert_name : string;alert_payload : string option;
}type info = {i_desc : text option;i_authors : string list;i_version : string option;i_sees : see list;i_since : string option;i_before : (string * text) list;i_deprecated : text option;i_params : param list;i_raised_exceptions : raised_exception list;i_return_value : text option;i_custom : (string * text) list;i_alerts : alert list;
}type merge_option = | Merge_description| Merge_author| Merge_version| Merge_see| Merge_since| Merge_before| Merge_deprecated| Merge_param| Merge_raised_exception| Merge_return_value| Merge_custom
val make_dump : 'a -> 'a dumpval open_dump : 'a dump -> 'a