Module Djot_kernel.Html

val escape : string -> string
val escape_attr : string -> string
val render_attrs : Ast.attr -> string
type helt =
  1. | HText of string
  2. | HRaw of string
  3. | HVoid of string * bool * Ast.attr
  4. | HElem of string * int * Ast.attr * helt list
val open_tag : string -> bool -> Ast.attr -> string
val pieces_elt : helt -> string list -> string list
val pieces : helt list -> string list -> string list
val serialize_flat : helt list -> string
val checkbox_elt : Ast.task_status -> helt
val ref_extra : Ast.attr -> Ast.attr -> Ast.attr
val plain_text : Ast.inline -> string
val plain_texts : Ast.inline Ast.node list -> string
type resolver = string -> (string * Ast.attr) option
val resolve : Ast.reference_map -> resolver
val ascii_lower : char -> char
val str_lower : string -> string
val tag_letter : char -> bool
val tag_tail_ok : string -> bool
val unordinary_elements : string list
val html_tag_ok : string -> bool
val named_elem : string -> string -> Ast.attr -> string * Ast.attr
val render_inline : resolver -> Ast.inline -> Ast.attr -> helt list
val render_inlines : resolver -> Ast.inlines -> helt list
val align_attr : Ast.align -> Ast.attr
val render_cell : resolver -> Ast.cell Ast.node -> helt
val render_row : resolver -> Ast.cell Ast.node list Ast.node -> helt
val render_caption : resolver -> Ast.inlines Ast.node -> helt list
val render_block : resolver -> bool -> Ast.block -> Ast.attr -> helt list
type foot_state = {
  1. foot_labels : string list;
  2. foot_index : int Document.StrMap.t;
  3. foot_next : int;
}
val foot_initial : foot_state
val flat_map_st : (foot_state -> 'a1 -> foot_state * helt list) -> foot_state -> 'a1 list -> foot_state * helt list
val number_footnote : string -> foot_state -> (foot_state * int) * bool
val render_inline_foot : resolver -> foot_state -> Ast.inline -> Ast.attr -> foot_state * helt list
val render_inlines_foot : resolver -> foot_state -> Ast.inlines -> foot_state * helt list
val render_cell_foot : resolver -> foot_state -> Ast.cell Ast.node -> foot_state * helt
val render_cells_foot : resolver -> foot_state -> Ast.cell Ast.node list -> foot_state * helt list
val render_rows_foot : resolver -> foot_state -> Ast.cell Ast.node list Ast.node list -> foot_state * helt list
val render_caption_foot : resolver -> foot_state -> Ast.inlines Ast.node -> foot_state * helt list
val render_block_foot : resolver -> foot_state -> bool -> Ast.block -> Ast.attr -> foot_state * helt list
val render_blocks_foot : resolver -> foot_state -> Ast.blocks -> foot_state * helt list
val render_note_defs : resolver -> foot_state -> Ast.note_map -> foot_state * (string * helt list) list
val rendered_note : helt list Document.StrMap.t -> string -> helt list
val render_note_items : int -> string list -> helt list Document.StrMap.t -> helt list
val render_document_foot : resolver -> Ast.blocks -> Ast.note_map -> helt list
val doc_refs : Ast.doc -> Ast.reference_map
val html_tree : Ast.doc -> helt list
val render_html : Ast.doc -> string
val convert : string -> string