sig
  type ('a, 'b) one_page =
      (unit, unit, 'a, [ `WithoutSuffix ], unit, unit, 'b)
      Eliomservices.service
  val menu :
    ?classe:XHTML.M.nmtoken list ->
    ([< Eliomservices.get_service_kind ], [< Eliomservices.registrable ])
    Eliomtools.one_page * Xhtmltypes.a_content XHTML.M.elt list ->
    (([< Eliomservices.get_service_kind ], [< Eliomservices.registrable ])
     Eliomtools.one_page * Xhtmltypes.a_content XHTML.M.elt list)
    list ->
    service:([< Eliomservices.get_service_kind ],
             [< Eliomservices.registrable ])
            Eliomtools.one_page ->
    sp:Eliomsessions.server_params -> [> `Ul ] XHTML.M.elt
  type ('a, 'b, 'c) hierarchical_site_item =
      Disabled
    | Site_tree of ('a, 'b, 'c) Eliomtools.hierarchical_site
  and ('a, 'b, 'c) main_page =
      Main_page of ('a, 'b) Eliomtools.one_page
    | Default_page of ('a, 'b) Eliomtools.one_page
    | Not_clickable
  and ('a, 'b, 'c) hierarchical_site =
      ('a, 'b, 'c) Eliomtools.main_page *
      ('XHTML.M.elt list * ('a, 'b, 'c) Eliomtools.hierarchical_site_item)
      list
  val hierarchical_menu_depth_first :
    ?classe:XHTML.M.nmtoken list ->
    ?whole_tree:bool ->
    ([< Eliomservices.get_service_kind ] as 'a,
     [< Eliomservices.registrable ] as 'b, Xhtmltypes.a_content)
    Eliomtools.hierarchical_site ->
    service:('a, 'b) Eliomtools.one_page ->
    sp:Eliomsessions.server_params -> [> `Ul ] XHTML.M.elt list
  val hierarchical_menu_breadth_first :
    ?classe:XHTML.M.nmtoken list ->
    ([< Eliomservices.get_service_kind ] as 'a,
     [< Eliomservices.registrable ] as 'b, Xhtmltypes.a_content)
    Eliomtools.hierarchical_site ->
    service:('a, 'b) Eliomtools.one_page ->
    sp:Eliomsessions.server_params -> [> `Ul ] XHTML.M.elt list
  val structure_links :
    ([< Eliomservices.get_service_kind ] as 'a,
     [< Eliomservices.registrable ] as 'b, Xhtmltypes.a_content)
    Eliomtools.hierarchical_site ->
    service:('a, 'b) Eliomtools.one_page ->
    sp:Eliomsessions.server_params -> [> `Link ] XHTML.M.elt list
end