Module Literate.LatexSource

This modules weaves the source code and the legislative text together into a document that law professionals can understand.

Helpers

Sourceval wrap_latex : string list -> Catala_utils.Global.backend_lang -> Format.formatter -> (Format.formatter -> unit) -> unit

Usage: wrap_latex source_files language fmt wrapped

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

API

Sourceval ast_to_latex : Catala_utils.Global.backend_lang -> print_only_law:bool -> Format.formatter -> Surface.Ast.program -> unit