This is client API (go to server)

Module Eliom_pervasives.​HTML5 

module HTML5 : sig..end
module M : sig..end

type safe HTML5 creation.