RenderScan (djot.Djot_kernel.RenderScan)

val attr_eqb : Ast.attr -> Ast.attr -> bool

val target_eqb : Ast.target -> Ast.target -> bool

val opt_eqb : string option -> string option -> bool

val inline_eqb : Ast.inline -> Ast.inline -> bool

val inlines_eqb : Ast.inlines -> Ast.inlines -> bool

val text_bytes : string -> (bool * char) list

val fixed : string -> (bool * char) list

val inline_bytes : InlineTable.dtable -> Ast.inline -> (bool * char) list

val para_bytes : InlineTable.dtable -> Ast.inlines -> (bool * char) list

val full : (bool * char) list -> string

val line_rev : string -> string -> string

val line_forced : InlineTable.dtable -> string -> char -> string -> bool

val reads : InlineTable.dtable -> Step.bconfig -> string -> Ast.inlines option

val reads_eqb : Ast.inlines option -> Ast.inlines option -> bool

val spell : 
  InlineTable.dtable ->
  Step.bconfig ->
  Ast.inlines option ->
  string ->
  (bool * char) list ->
  string

val text_lines_scan : 
  InlineTable.dtable ->
  Step.bconfig ->
  Ast.inlines ->
  string list

val render_djot_scan : 
  InlineTable.dtable ->
  Step.bconfig ->
  Ast.blocks ->
  string