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 .