Module Eliom_tools_common


module Eliom_tools_common: sig .. end

Menus




Menus


type ('a, 'b) one_page = (unit, unit, 'a, [ `WithoutSuffix ], unit, unit, 'b) Eliom_services.service 

Hierchical sites



type ('a, 'b, 'c) hierarchical_site_item =
| Disabled
| Site_tree of ('a, 'b, 'c) hierarchical_site

type ('a, 'b, 'c) main_page =
| Main_page of ('a, 'b) one_page
| Default_page of ('a, 'b) one_page
| Not_clickable
type ('a, 'b, 'c) hierarchical_site = ('a, 'b, 'c) main_page *
('c * ('a, 'b, 'c) hierarchical_site_item) list
The type of hierarchical sites. A hierarchical site is a pair (main page, subpages).

The difference between Main_page, Default_page and Not_clickable is a bit subtle:

Each subpage is defined by the text to be displayed in menus and a hierarchical_site_item. If the latter is Disabled, the menu entry is disabled.