Latex (p.catala.0.2.0.doc.catala.literate.Literate.Latex)

Sourcemodule Pos = Utils.Pos

Sourcemodule Cli = Utils.Cli

Sourcemodule Errors = Utils.Errors

Sourcemodule A = Surface.Ast

Sourcemodule R = Re.Pcre

Sourcemodule C = Cli

Helpers

Sourceval pre_latexify : string -> string

Espaces various LaTeX-sensitive characters

val wrap_latex : 
  string list ->
  string option ->
  C.backend_lang ->
  Format.formatter ->
  (Format.formatter -> unit) ->
  unit

Usage: wrap_latex source_files custom_pygments language fmt wrapped

Prints an LaTeX complete documùent structure around the wrapped content.

Sourceval math_syms_replace : string -> string

Replaces math operators by their nice unicode counterparts

val law_article_item_to_latex : 
  C.backend_lang ->
  Format.formatter ->
  A.law_article_item ->
  unit

val law_structure_to_latex : 
  C.backend_lang ->
  Format.formatter ->
  A.law_structure ->
  unit

val program_item_to_latex : 
  C.backend_lang ->
  Format.formatter ->
  A.program_item ->
  unit

Sourceval ast_to_latex : C.backend_lang -> Format.formatter -> A.program -> unit