Module Odoc_odoc.Html_pageSource

Sourcetype args = {
  1. semantic_uris : bool;
  2. closed_details : bool;
  3. indent : bool;
  4. theme_uri : Odoc_html.Tree.uri;
  5. support_uri : Odoc_html.Tree.uri;
  6. flat : bool;
}