This is server API (go to client)

Module Eliom_tools

module Eliom_tools : sig..end

Predefined boxes for Eliom

module Xhtml : sig..end

XHTML tools

HTML5 ¶

module Html5 : sig..end

Same functions as above, but with HTML5 elements