catala.driver
Driver
catala.dcalc
catala.desugared
catala.lcalc
catala.literate
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.surface
catala.utils
catala.verification
module Plugin = Plugin.PluginAPI
val driver : Utils.Pos.input_file -> Utils.Cli.options -> int
Entry function for the executable. Returns a negative number in case of error.
val main : unit -> unit
Main program entry point, including command-line parsing and return code