NAME¶

Eliom_tools - Record an (external) JavaScript file to be included in Eliom_tools.F.html.

Module¶

Module Eliom_tools

Documentation¶

Module Eliom_tools
: sig end Record an (external) JavaScript file to be included in Eliom_tools.F.html . val with_js_file : string list -> unit val with_css_file : string list -> unit Record an CSS file to be included in Eliom_tools.F.html .