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

md5=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

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 : 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 include_dirs : raw_file list Cmdliner.Term.t

Sourceval disable_counterexamples : bool Cmdliner.Term.t