type args = {semantic_uris : bool; |
closed_details : bool; |
indent : bool; |
theme_uri : Odoc_html.Tree.uri; |
}val renderer : args Odoc_document.Renderer.tOdoc_odoc.Html_pagetype args = {semantic_uris : bool; |
closed_details : bool; |
indent : bool; |
theme_uri : Odoc_html.Tree.uri; |
}val renderer : args Odoc_document.Renderer.t