jon.recoil.org

Module Odoc_html.TypesSource

Sourcetype uri =
  1. | Absolute of string
  2. | Relative of Odoc_document.Url.Path.t option
Sourcetype file_uri =
  1. | Absolute of string
  2. | Relative of Odoc_document.Url.Path.t
Sourcetype toc = {
  1. title : Html_types.flow5_without_interactive Tyxml.Html.elt list;
  2. title_str : string;
  3. href : string;
  4. children : Odoc_html.Types.toc list;
}
Sourcetype breadcrumb = {
  1. href : string option;
  2. name : Html_types.phrasing_without_interactive Tyxml.Html.elt list;
  3. kind : Odoc_document.Url.Path.kind;
}
Sourcetype breadcrumbs = {
  1. parents : Odoc_html.Types.breadcrumb list;
  2. current : Odoc_html.Types.breadcrumb;
  3. up_url : string option;
}