Module Eliom_pervasives.​HTML5.​M

module M : sig..end

Type safe HTML5 creation.

include HTML5_sigs.T

val unique : ?copy:'a elt -> 'a elt -> 'a elt

type ('a, 'b, 'c) lazy_plus = 
  ?a:'a attrib list ->
  'b elt Eliom_lazy.request -> 'b elt list Eliom_lazy.request -> 'c elt

val lazy_a_href : uri Eliom_lazy.request -> [> `Href ] attrib

val lazy_a_action : uri Eliom_lazy.request -> [> `Action ] attrib

val lazy_form : 
  ([< HTML5_types.form_attrib ], [< HTML5_types.form_content_fun ],
   [> HTML5_types.form ])
  lazy_plus