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; }