1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
type uri = Absolute of string | Relative of Odoc_document.Url.Path.t option
type file_uri = Absolute of string | Relative of Odoc_document.Url.Path.t
type toc = {
title : Html_types.flow5_without_interactive Tyxml.Html.elt list;
title_str : string;
href : string;
children : toc list;
}
type breadcrumb = {
href : string option;
name : Html_types.phrasing_without_interactive Tyxml.Html.elt list;
kind : Odoc_document.Url.Path.kind;
}
type breadcrumbs = {
parents : breadcrumb list;
current : breadcrumb;
up_url : string option;
}