(* Type definitions for the HTML renderer *)
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;
}