module Custom_data: module type of Eliom_content_core.Html5.Custom_data with type 'a t = 'a Eliom_content_core.Html5.Custom_data.t
module type of Eliom_content_core.Html5.Custom_data
with type 'a t = 'a Eliom_content_core.Html5.Custom_data.t