jon.recoil.org
this repo has no description
1(* Type definitions for the HTML renderer *)
2
3type uri = Absolute of string | Relative of Odoc_document.Url.Path.t option
4
5type file_uri = Absolute of string | Relative of Odoc_document.Url.Path.t
6
7type toc = {
8 title : Html_types.flow5_without_interactive Tyxml.Html.elt list;
9 title_str : string;
10 href : string;
11 children : toc list;
12}
13
14type breadcrumb = {
15 href : string option;
16 name : Html_types.phrasing_without_interactive Tyxml.Html.elt list;
17 kind : Odoc_document.Url.Path.kind;
18}
19
20type breadcrumbs = {
21 parents : breadcrumb list;
22 current : breadcrumb;
23 up_url : string option;
24}