Source file types.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(* 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;
  name : string;
  kind : Odoc_document.Url.Path.kind;
}