(* HTML renderer configuration *)

type t

val v :
  ?search_result:bool ->
  ?theme_uri:Types.uri ->
  ?support_uri:Types.uri ->
  ?search_uris:Types.file_uri list ->
  semantic_uris:bool ->
  indent:bool ->
  flat:bool ->
  open_details:bool ->
  as_json:bool ->
  remap:(string * string) list ->
  ?home_breadcrumb:string ->
  unit ->
  t
(** [search_result] indicates whether this is a summary for a search result. In
    that case, the links will be printed as regular text. *)

val theme_uri : t -> Types.uri

val support_uri : t -> Types.uri

val search_uris : t -> Types.file_uri list

val semantic_uris : t -> bool

val indent : t -> bool

val flat : t -> bool

val open_details : t -> bool

val as_json : t -> bool

val search_result : t -> bool

val remap : t -> (string * string) list

val home_breadcrumb : t -> string option
