Module `Odoc_html.Config`Source

Sourcetype t

val v : 
  ?search_result:bool ->
  ?theme_uri:Odoc_html.Types.uri ->
  ?support_uri:Odoc_html.Types.uri ->
  ?search_uris:Odoc_html.Types.file_uri list ->
  ?extra_css:string list ->
  semantic_uris:bool ->
  indent:bool ->
  flat:bool ->
  open_details:bool ->
  as_json:bool ->
  ?shell:string ->
  remap:(string * string) list ->
  ?home_breadcrumb:string ->
  ?mode_links:string ->
  ?config_values:(string * string) list ->
  unit ->
  Odoc_html.Config.t

search_result indicates whether this is a summary for a search result. In that case, the links will be printed as regular text.

Sourceval theme_uri : Odoc_html.Config.t -> Odoc_html.Types.uri

Sourceval support_uri : Odoc_html.Config.t -> Odoc_html.Types.uri

Sourceval search_uris : Odoc_html.Config.t -> Odoc_html.Types.file_uri list

Sourceval extra_css : Odoc_html.Config.t -> string list

Sourceval semantic_uris : Odoc_html.Config.t -> bool

Sourceval indent : Odoc_html.Config.t -> bool

Sourceval flat : Odoc_html.Config.t -> bool

Sourceval open_details : Odoc_html.Config.t -> bool

Sourceval as_json : Odoc_html.Config.t -> bool

Sourceval search_result : Odoc_html.Config.t -> bool

Sourceval shell : Odoc_html.Config.t -> string option

Sourceval remap : Odoc_html.Config.t -> (string * string) list

Sourceval home_breadcrumb : Odoc_html.Config.t -> string option

Sourceval mode_links : Odoc_html.Config.t -> string option

Sourceval config_values : Odoc_html.Config.t -> (string * string) list

Module Odoc_html.ConfigSource

Module `Odoc_html.Config`Source