Module Eliom_content.​Html5.​Id

module Id : 
  module type of Eliom_content_core.Html5.Idwith
        type (+'a) id = 'a Eliom_content_core.Html5.Id.id

Node identifiers