Warning: Reason support is experimental.
We are looking for beta-tester and contributors.
Switch to Version dev Ocsimore Manual API Core User Wiki Forum Core site User site Wiki site Forum site Wikiperso Index class wikibox_aux : Widget.widget_with_error_box -> ( object
<<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_basic_box"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_basic_box>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'a 'b.\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtokens>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|wrap>> *\\ <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> ] as 'b<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div>> ] as 'a<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'c 'd.\\ <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'c<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list\\ <<a_api text="Wiki_types.wikibox_content" | type Wiki_types.wikibox_content >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\ <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'd<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_raw_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_raw_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'a 'e.\\ <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\ 'a <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<a_api text="Wiki_types.wikibox_content" | type Wiki_types.wikibox_content >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\ <<span class="ocsforge_color_delimiter"| ( >>[> `Em | `Pre ] as 'e<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODwrap_error"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|wrap_error>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'f.\\ <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> > `Div ] as 'f<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ 'f <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>>end : object ... end ) method display_basic_box : 'g 'h. Html5_types . nmtokens Eliom_content . Html5 . F . wrap * ( [< Html5_types . div_content_fun ] as 'h) Eliom_content . Html5 . F . elt list -> ( [> Html5_types . div ] as 'g) Eliom_content . Html5 . F . elt Lwt . t method display_wikiboxcontent : 'i 'j. bi: Wiki_widgets_interface.box_info -> classes: Wiki_widgets_interface.classes -> ( [< Html5_types . flow5 ] as 'i) Eliom_content . Html5 . F . elt list Wiki_types.wikibox_content -> ( Wiki_widgets_interface.classes * ( [> Html5_types . flow5 ] as 'j) Eliom_content . Html5 . F . elt list) Lwt . t method display_raw_wikiboxcontent : 'a 'k. classes: Wiki_widgets_interface.classes -> 'a Eliom_content . Html5 . F . elt list Wiki_types.wikibox_content -> ( Wiki_widgets_interface.classes * ( [> `Em | `Pre ] as 'k) Eliom_content . Html5 . F . elt list) Lwt . t method wrap_error : 'l. wb: Wiki_types.wikibox -> ( [< Html5_types . div_content_fun > `Div ] as 'l) Eliom_content . Html5 . F . elt list -> 'l Eliom_content . Html5 . F . elt list Lwt . t