package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Utils.CliSource

Sourcetype backend_lang =
  1. | En
  2. | Fr
  3. | Pl

Configuration globals

Sourceval source_files : string list ref

Source files to be compiled

Sourceval locale_lang : backend_lang ref
Sourceval contents : string ref
Sourceval debug_flag : bool ref
Sourceval style_flag : bool ref

Styles the terminal output

Sourceval optimize_flag : bool ref
Sourceval max_prec_digits : int ref

Max number of digits to show for decimal results

Sourceval trace_flag : bool ref
Sourceval disable_counterexamples : bool ref

Disables model-generated counterexamples for proofs that fail.

Sourceval avoid_exceptions_flag : bool ref

Avoids using try ... with exceptions when compiling the default calculus.

CLI terms

Sourceval file : string Cmdliner.Term.t
Sourceval debug : bool Cmdliner.Term.t
Sourceval unstyled : bool Cmdliner.Term.t
Sourceval trace_opt : bool Cmdliner.Term.t
Sourceval wrap_weaved_output : bool Cmdliner.Term.t
Sourceval backend : string Cmdliner.Term.t
Sourcetype backend_option =
  1. | Dcalc
  2. | Html
  3. | Interpret
  4. | Latex
  5. | Lcalc
  6. | Makefile
  7. | OCaml
  8. | Proof
  9. | Python
  10. | Scalc
  11. | Scopelang
  12. | Typecheck
Sourceval language : string option Cmdliner.Term.t
Sourceval max_prec_digits_opt : int option Cmdliner.Term.t
Sourceval ex_scope : string option Cmdliner.Term.t
Sourceval output : string option Cmdliner.Term.t
Sourceval catala_t : (string -> bool -> bool -> bool -> bool -> string -> string option -> int option -> bool -> bool -> bool -> string option -> string option -> 'a) -> 'a Cmdliner.Term.t

Main entry point: catala_t file debug unstyled wrap_weaved_output avoid_exceptions backend language max_prec_digits_opt trace_opt disable_counterexamples optimize ex_scope output

Sourceval version : string

Terminal formatting

Markers

Sourceval print_with_style : ANSITerminal.style list -> ('a, unit, string) format -> 'a
Sourceval format_with_style : ANSITerminal.style list -> Format.formatter -> string -> unit
Sourceval debug_marker : unit -> string
Sourceval error_marker : unit -> string
Sourceval warning_marker : unit -> string
Sourceval result_marker : unit -> string
Sourceval log_marker : unit -> string

Printers

All the printers below print their argument after the correct marker

Sourceval concat_with_line_depending_prefix_and_suffix : (int -> string) -> (int -> string) -> string list -> string
Sourceval add_prefix_to_each_line : string -> (int -> string) -> string

The int argument of the prefix corresponds to the line number, starting at 0

Sourceval debug_print : string -> unit
Sourceval error_print : string -> unit
Sourceval warning_print : string -> unit
Sourceval result_print : string -> unit
Sourceval log_print : string -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct