package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.10.0.tar.gz

md5=5abd76e8c51a47670645e91b21b57fc5

sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b

doc/catala.catala_utils/Catala_utils/Cli/Flags/index.html

Module `Cli.Flags`Source

Sourcemodule Global : sig ... end

Parsers for all flags and options that commands can use

Sourceval check_invariants : bool Cmdliner.Term.t

Sourceval no_typing : bool Cmdliner.Term.t

Sourceval wrap_weaved_output : bool Cmdliner.Term.t

Sourceval print_only_law : bool Cmdliner.Term.t

Sourceval ex_scope : string Cmdliner.Term.t

Sourceval ex_scope_opt : string option Cmdliner.Term.t

Sourceval ex_variable : string Cmdliner.Term.t

Sourceval output : Global.raw_file option Cmdliner.Term.t

Sourceval optimize : bool Cmdliner.Term.t

Sourceval avoid_exceptions : bool Cmdliner.Term.t

Sourceval closure_conversion : bool Cmdliner.Term.t

Sourceval keep_special_ops : bool Cmdliner.Term.t

Sourceval monomorphize_types : bool Cmdliner.Term.t

Sourceval dead_value_assignment : bool Cmdliner.Term.t

Sourceval no_struct_literals : bool Cmdliner.Term.t

Sourceval include_dirs : Global.raw_file list Cmdliner.Term.t

Sourceval disable_counterexamples : bool Cmdliner.Term.t

Sourceval extra_files : Global.file list Cmdliner.Term.t

for the 'latex' command

Sourceval lcalc : bool Cmdliner.Term.t

for the 'interpret' command

Sourceval extension : string list Cmdliner.Term.t

for the 'depends' command

Sourceval prefix : string option Cmdliner.Term.t